| // This is a non-regression test for issue #126670 where RPITIT refinement checking encountered |
| // errors during resolution and ICEd. |
| |
| //@ edition: 2018 |
| |
| pub trait Mirror { |
| type Assoc; |
| } |
| impl<T: ?Sized> Mirror for () { |
| //~^ ERROR the type parameter `T` is not constrained |
| type Assoc = T; |
| //~^ ERROR the size for values of type `T` cannot be known at compilation time |
| } |
| |
| pub trait First { |
| async fn first() -> <() as Mirror>::Assoc; |
| //~^ ERROR type annotations needed |
| } |
| |
| impl First for () { |
| async fn first() {} |
| } |
| |
| fn main() {} |
