diff options
Diffstat (limited to 'tests/ui/traits/new-solver/int-var-alias-eq.rs')
-rw-r--r-- | tests/ui/traits/new-solver/int-var-alias-eq.rs | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/tests/ui/traits/new-solver/int-var-alias-eq.rs b/tests/ui/traits/new-solver/int-var-alias-eq.rs deleted file mode 100644 index 790197e2d..000000000 --- a/tests/ui/traits/new-solver/int-var-alias-eq.rs +++ /dev/null @@ -1,18 +0,0 @@ -// check-pass -// compile-flags: -Ztrait-solver=next - -// HIR typeck ends up equating `<?0i as Add>::Output == ?0i`. -// Want to make sure that we emit an alias-eq goal for this, -// instead of treating it as a type error and bailing. - -fn test() { - // fallback - let x = 1 + 2; -} - -fn test2() -> u32 { - // expectation from return ty - 1 + 2 -} - -fn main() {} |