rust/tests/ui/issues/issue-37051.rs
2024-02-16 20:02:50 +00:00

19 lines
322 B
Rust

//@ check-pass
#![feature(associated_type_defaults)]
trait State: Sized {
type NextState: State = StateMachineEnded;
fn execute(self) -> Option<Self::NextState>;
}
struct StateMachineEnded;
impl State for StateMachineEnded {
fn execute(self) -> Option<Self::NextState> {
None
}
}
fn main() {}