fallback_inference.rs

use std::marker::PhantomData;

fn weird() -> PhantomData<impl Sized> {
    PhantomData //~ ERROR type annotations needed
}

fn main() {}