Auto merge of #26057 - audebert:master, r=alexcrichton
The constraint referenced here is:
```rust
fn foo<T>(t: T) where T: Trait<AssociatedType=u32> { /* */ }
```
This commit is contained in:
commit
ae74652b4a
1 changed files with 1 additions and 1 deletions
|
|
@ -559,7 +559,7 @@ impl Trait for i8 { type AssociatedType = &'static str; }
|
|||
|
||||
foo(3_i8);
|
||||
// Here, we invoke `foo` with an `i8`, which does not satisfy
|
||||
// the constraint `<i8 as Trait>::AssociatedType=32`, and
|
||||
// the constraint `<i8 as Trait>::AssociatedType=u32`, and
|
||||
// therefore the type-checker complains with this error code.
|
||||
```
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue