Normalize type before deferred sizedness checking.

This commit is contained in:
Masaki Hara 2018-11-27 23:37:59 +09:00
parent 691a7f8e2b
commit 9d35e57907
2 changed files with 12 additions and 0 deletions

View file

@ -0,0 +1,11 @@
use std::ops::Deref;
fn foo<P>(_value: <P as Deref>::Target)
where
P: Deref,
<P as Deref>::Target: Sized,
{}
fn main() {
foo::<Box<u32>>(2);
}