blob: 8a3aae72c20c5c4677edfde711980bf1f4c3ee9b [file] [log] [blame] [edit]
//@ known-bug: #130967
trait Producer {
type Produced;
fn make_one() -> Self::Produced;
}
impl<E: ?Sized> Producer for () {
type Produced = Option<E>;
fn make_one() -> Self::Produced {
loop {}
}
}