1 // In this regression test we check that a path pattern referring to a unit variant
2 // through a type alias is successful in inferring the generic argument.
11 type OptAlias<T> = Opt<T>;
13 fn f1(x: OptAlias<u8>) {
15 OptAlias::N // We previously failed to infer `T` to `u8`.
22 OptAlias<_> // And we failed to infer this type also.