Check hidden types for well formedness at the definition site instead of only at...

[rust.git] / src / test / ui / type-alias-impl-trait / underconstrained_generic.rs

diff --git a/src/test/ui/type-alias-impl-trait/underconstrained_generic.rs b/src/test/ui/type-alias-impl-trait/underconstrained_generic.rs
index 22264670f37cad5865cb7b81eef995368c8b7918..aa537dfc9176c2972fbc2adba1bdf63e5d9800b3 100644 (file)
--- a/src/test/ui/type-alias-impl-trait/underconstrained_generic.rs
+++ b/src/test/ui/type-alias-impl-trait/underconstrained_generic.rs
@@ -17,10 +17,10 @@ fn convert<T, U>(_: PhantomData<Self>, r: T) -> U {
 }
 
 type Converter<T> = impl ProofForConversion<T>;
-//~^ ERROR the trait bound `T: Trait` is not satisfied
 
 fn _defining_use<T: Trait>() -> Converter<T> {
     ()
+    //~^ ERROR the trait bound `T: Trait` is not satisfied
 }