tests/ui/traits/next-solver/non-wf-ret.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47

//@ check-pass
//@ compile-flags: -Znext-solver

use std::ops::Deref;

pub struct List<T> {
    skel: [T],
}

impl<'a, T: Copy> IntoIterator for &'a List<T> {
    type Item = T;
    type IntoIter = std::iter::Copied<<&'a [T] as IntoIterator>::IntoIter>;

    fn into_iter(self) -> Self::IntoIter {
        todo!()
    }
}

impl<T> Deref for List<T> {
    type Target = [T];

    fn deref(&self) -> &[T] {
        todo!()
    }
}

impl<T> List<T> {
    fn iter(&self) -> <&Self as IntoIterator>::IntoIter
    where
        T: Copy,
    {
        todo!()
    }
}

fn test<Q>(t: &List<Q>) {
    // Checking that `<&List<Q> as IntoIterator>::IntoIter` is WF
    // will disqualify the inherent method, since normalizing it
    // requires `Q: Copy` which does not hold. and allow us to fall
    // through to the deref'd `<[Q]>::iter` method which works.
    //
    // In the old solver, the same behavior is achieved by just
    // eagerly normalizing the return type.
    t.iter();
}

fn main() {}