Check generators for well formedness

[rust.git] / src / test / ui / generic-associated-types / issue-88287.rs

diff --git a/src/test/ui/generic-associated-types/issue-88287.rs b/src/test/ui/generic-associated-types/issue-88287.rs
index 6b10edf073ff6ca01a141599597eb2dfa997c350..4952a082586d0704f1a0b7ae4be69693c153d195 100644 (file)
--- a/src/test/ui/generic-associated-types/issue-88287.rs
+++ b/src/test/ui/generic-associated-types/issue-88287.rs
@@ -1,4 +1,3 @@
-// check-pass
 // edition:2018
 
 #![feature(generic_associated_types)]
@@ -34,6 +33,7 @@ impl<T, Criteria> SearchableResourceExt<Criteria> for T
 
     fn search<'c>(&'c self, _client: &'c ()) -> Self::Future<'c, Self, Criteria> {
         async move { todo!() }
+        //~^ ERROR: the size for values of type `A` cannot be known at compilation time
     }
 }