Hovering over `T: Trait` type parameter shows it is not Sized

[iDawer]

On today's nightly ee4505f:

T should be Sized implicitly.

[iDawer]

This went untested somehow.

At the same time, this test pass

    check_infer(
        r#"
//- minicore: sized
struct Yes;
trait IsSized { const IS_SIZED: Yes; }
impl<T: Sized> IsSized for T { const IS_SIZED: Yes = Yes; }

trait Foo {
    type Explicit: Sized;
    type Implicit;
    type Relaxed: ?Sized;
}
fn f<F: Foo>() {
    F::Explicit::IS_SIZED;
    F::Implicit::IS_SIZED;
    F::Relaxed::IS_SIZED;
    F::IS_SIZED;
}
"#,
        expect![[r#"
            104..107 'Yes': Yes
            212..312 '{     ...ZED; }': ()
            218..239 'F::Exp..._SIZED': Yes
            245..266 'F::Imp..._SIZED': Yes
            272..292 'F::Rel..._SIZED': {unknown}
            298..309 'F::IS_SIZED': Yes
        "#]],
    );

notice 'F::IS_SIZED': Yes

Strange!

[flodiebold]

It looks like this might only be a display issue 🤔