File tree Expand file tree Collapse file tree 2 files changed +37
-2
lines changed
branches/tmp/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 @@ -25,7 +25,7 @@ refs/tags/0.11.0: e1247cb1d0d681be034adb4b558b5a0c0d5720f9
25
25
refs/tags/0.12.0: f0c419429ef30723ceaf6b42f9b5a2aeb5d2e2d1
26
26
refs/heads/beta: 2ad26e850ed5dfedda8c96d7315aee50145ceedd
27
27
refs/tags/1.0.0-alpha: e42bd6d93a1d3433c486200587f8f9e12590a4d7
28
- refs/heads/tmp: a481c4ecdc95bf9247f262334f288ff78001ff6c
28
+ refs/heads/tmp: 2881e83c96c6f35fdc6741bbb3f951507ef74ca5
29
29
refs/tags/1.0.0-alpha.2: 4c705f6bc559886632d3871b04f58aab093bfa2f
30
30
refs/tags/homu-tmp: a5286998df566e736b32f6795bfc3803bdaf453d
31
31
refs/tags/1.0.0-beta: 8cbb92b53468ee2b0c2d3eeb8567005953d40828
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