about summary refs log tree commit diff
path: root/tests/ui/type-alias-impl-trait/multiple-def-uses-in-one-fn-infer.stderr
blob: e044cbe819e8cb3d83150f26385e600edfc32fc3 (plain)
1
2
3
4
5
6
7
8
9
10
11
error: concrete type differs from previous defining opaque type use
  --> $DIR/multiple-def-uses-in-one-fn-infer.rs:10:17
   |
LL | fn g<A, B>() -> (Y<A, B>, Y<B, A>) {
   |                 ^^^^^^^^^^^^^^^^^^
   |                 |
   |                 expected `i64`, got `i32`
   |                 this expression supplies two conflicting concrete types for the same opaque type

error: aborting due to 1 previous error