File tree Expand file tree Collapse file tree 2 files changed +37
-2
lines changed
branches/stable/src/librustc_typeck Expand file tree Collapse file tree 2 files changed +37
-2
lines changed Original file line number Diff line number Diff line change @@ -29,7 +29,7 @@ refs/heads/tmp: afae2ff723393b3ab4ccffef6ac7c6d1809e2da0
29
29
refs/tags/1.0.0-alpha.2: 4c705f6bc559886632d3871b04f58aab093bfa2f
30
30
refs/tags/homu-tmp: f859507de8c410b648d934d8f5ec1c52daac971d
31
31
refs/tags/1.0.0-beta: 8cbb92b53468ee2b0c2d3eeb8567005953d40828
32
- refs/heads/stable: a481c4ecdc95bf9247f262334f288ff78001ff6c
32
+ refs/heads/stable: 2881e83c96c6f35fdc6741bbb3f951507ef74ca5
33
33
refs/tags/1.0.0: 55bd4f8ff2b323f317ae89e254ce87162d52a375
34
34
refs/tags/1.1.0: bc3c16f09287e5545c1d3f76b7abd54f2eca868b
35
35
refs/tags/1.2.0: f557861f822c34f07270347b94b5280de20a597e
Original file line number Diff line number Diff line change @@ -1600,6 +1600,42 @@ impl Copy for &'static Bar { } // error
1600
1600
```
1601
1601
"## ,
1602
1602
1603
+ E0207 : r##"
1604
+ You passed an unused type parameter when implementing a trait
1605
+ on an object. Erroneous code example:
1606
+
1607
+ ```
1608
+ trait MyTrait {
1609
+ fn get(&self) -> usize;
1610
+ }
1611
+
1612
+ struct Foo;
1613
+
1614
+ impl<T> MyTrait for Foo {
1615
+ fn get(&self) -> usize {
1616
+ 0
1617
+ }
1618
+ }
1619
+ ```
1620
+
1621
+ Please check your object definition and remove unused type
1622
+ parameter(s). Example:
1623
+
1624
+ ```
1625
+ trait MyTrait {
1626
+ fn get(&self) -> usize;
1627
+ }
1628
+
1629
+ struct Foo;
1630
+
1631
+ impl MyTrait for Foo {
1632
+ fn get(&self) -> usize {
1633
+ 0
1634
+ }
1635
+ }
1636
+ ```
1637
+ "## ,
1638
+
1603
1639
E0211 : r##"
1604
1640
You used an intrinsic function which doesn't correspond to its
1605
1641
definition. Erroneous code example:
@@ -1878,7 +1914,6 @@ register_diagnostics! {
1878
1914
E0196 , // cannot determine a type for this closure
1879
1915
E0203 , // type parameter has more than one relaxed default bound,
1880
1916
// and only one is supported
1881
- E0207 , // type parameter is not constrained by the impl trait, self type, or predicate
1882
1917
E0208 ,
1883
1918
E0209 , // builtin traits can only be implemented on structs or enums
1884
1919
E0210 , // type parameter is not constrained by any local type
You can’t perform that action at this time.
0 commit comments