]>
git.proxmox.com Git - rustc.git/blob - src/test/ui/issues/issue-69455.rs
1 // Regression test for #69455: projection predicate was not satisfied.
2 // Compiler should indicate the correct location of the
3 // unsatisfied projection predicate
5 pub trait Test
<Rhs
= Self> {
8 fn test(self, rhs
: Rhs
) -> Self::Output
;
11 impl Test
<u32> for u64 {
14 fn test(self, other
: u32) -> u64 {
19 impl Test
<u64> for u64 {
22 fn test(self, other
: u64) -> u64 {
28 let xs
: Vec
<u64> = vec
![1, 2, 3];
29 println
!("{}", 23u64.test(xs
.iter().sum())); //~ ERROR: type annotations needed