//! Check that typeck can observe the size of an opaque type.
//@ check-pass
use std::mem::transmute;
fn foo() -> impl Sized {
    0u8
}

fn main() {
    unsafe {
        transmute::<_, u8>(foo());
    }
}