// issue: #127737 | |
//@ check-pass | |
//@ compile-flags: -Zmir-opt-level=5 --crate-type lib | |
//! This test is very similar to `invalid-unsized-const-eval.rs`, but also requires | |
//! checking for unsized types in the last field of each enum variant. | |
pub trait TestTrait { | |
type MyType; | |
fn func() -> Option<Self> | |
where | |
Self: Sized; | |
} | |
impl<T> dyn TestTrait<MyType = T> | |
where | |
Self: Sized, | |
{ | |
pub fn other_func() -> Option<Self> { | |
match Self::func() { | |
Some(me) => Some(me), | |
None => None, | |
} | |
} | |
} |