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