| //@ revisions: current next |
| //@[next] compile-flags: -Znext-solver |
| //@ ignore-compare-mode-next-solver (explicit revisions) |
| //@ check-pass |
| |
| // Regression test for trait-system-refactor-initiative#205. Avoid constraining |
| // the opaque type when applying blanket impls. |
| |
| trait Trait<T> {} |
| |
| impl<T> Trait<T> for T {} |
| impl Trait<u32> for u64 {} |
| |
| fn impls_trait<T: Trait<U>, U>() -> T { |
| todo!() |
| } |
| |
| fn foo() -> impl Sized { |
| if false { |
| // `opaque: Trait<u32>` shouldn't constrain `opaque` to `u32` via the blanket impl |
| return impls_trait::<_, u32>(); |
| } |
| 1u64 |
| } |
| fn main() {} |
