src/test/ui/rfc-1937-termination-trait/issue-103052-2.rs

   1 #![feature(return_position_impl_trait_in_trait)]
   2 #![allow(incomplete_features)]
   3
   4 mod child {
   5     trait Main {
   6         fn main() -> impl std::process::Termination;
   7     }
   8
   9     struct Something;
  10
  11     impl Main for () {
  12         fn main() -> Something { //~ ERROR the trait bound `Something: Termination` is not satisfied
  13             Something
  14         }
  15     }
  16 }
  17
  18 fn main() {}