]>
git.proxmox.com Git - rustc.git/blob - tests/ui/nll/issue-63154-normalize.rs
1 // Regression test for rust-lang/rust#63154
3 // Before, we would ICE after failing to normalize the destination type
4 // when checking call destinations and also when checking MIR
5 // assignment statements.
13 impl HasAssocType
for () {
17 trait Tr
<I
, T
>: Fn(I
) -> Option
<T
> {}
18 impl<I
, T
, Q
: Fn(I
) -> Option
<T
>> Tr
<I
, T
> for Q {}
20 fn f
<T
: HasAssocType
>() -> impl Tr
<T
, T
::Inner
> {
24 fn g
<T
, Y
>(f
: impl Tr
<T
, Y
>) -> impl Tr
<T
, Y
> {