-// compile-pass
-// skip-codegen
+// check-pass
+// ignore-compare-mode-chalk
+
#![feature(associated_type_defaults)]
-#![allow(warnings)]
+
trait State: Sized {
type NextState: State = StateMachineEnded;
fn execute(self) -> Option<Self::NextState>;
}
}
-
-fn main() {
-}
+fn main() {}