arbitrary-self-from-method-substs-no-turbofish.rs

//@ revisions: default feature
#![cfg_attr(feature, feature(arbitrary_self_types))]

use std::ops::Deref;
use std::marker::PhantomData;

trait FindReceiver {
    type Receiver: Deref<Target = Foo>;
}

struct Foo(u32);
impl Foo {
    fn get<FR: FindReceiver>(self: FR::Receiver, other: FR) -> u32 {
        //[default]~^ ERROR: `<FR as FindReceiver>::Receiver` cannot be used as the type of `self`
        42
    }
}

struct SmartPtr<T>(T);
impl<T> Deref for SmartPtr<T> {
    type Target = T;
    fn deref(&self) -> &Self::Target {
        &self.0
    }
}

struct Silly;
impl FindReceiver for Silly {
    type Receiver = SmartPtr<Foo>;
}

fn main() {
    let mut foo = Foo(1);
    // This test is slightly contrived in an attempt to generate a mismatched types
    // error for the self type below, without using the turbofish.
    foo.get(Silly);
    //~^ ERROR type mismatch
}