mirror of
				https://github.com/rust-lang/rust.git
				synced 2025-11-04 06:56:14 +00:00 
			
		
		
		
	
		
			
				
	
	
		
			18 lines
		
	
	
		
			471 B
		
	
	
	
		
			Rust
		
	
	
	
	
	
			
		
		
	
	
			18 lines
		
	
	
		
			471 B
		
	
	
	
		
			Rust
		
	
	
	
	
	
// Test method calls with self as an argument cannot subvert type checking.
 | 
						|
 | 
						|
struct Foo;
 | 
						|
 | 
						|
impl Foo {
 | 
						|
    fn bar(&self) {}
 | 
						|
}
 | 
						|
 | 
						|
fn main() {
 | 
						|
    let x = Foo;
 | 
						|
    Foo::bar(x); //~  ERROR mismatched types
 | 
						|
                 //~| expected `&Foo`, found `Foo`
 | 
						|
    Foo::bar(&42); //~  ERROR mismatched types
 | 
						|
                      //~| expected `&Foo`, found `&{integer}`
 | 
						|
                      //~| expected reference `&Foo`
 | 
						|
                      //~| found reference `&{integer}`
 | 
						|
}
 |