diff options
Diffstat (limited to 'src/test/ui/coherence/re-rebalance-coherence-default-generic-associated-type.rs')
-rw-r--r-- | src/test/ui/coherence/re-rebalance-coherence-default-generic-associated-type.rs | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/src/test/ui/coherence/re-rebalance-coherence-default-generic-associated-type.rs b/src/test/ui/coherence/re-rebalance-coherence-default-generic-associated-type.rs deleted file mode 100644 index d18e3f453..000000000 --- a/src/test/ui/coherence/re-rebalance-coherence-default-generic-associated-type.rs +++ /dev/null @@ -1,26 +0,0 @@ -// run-pass -// aux-build:re_rebalance_coherence_lib-rpass.rs - -#![allow(dead_code)] -// check that a generic type with a default value from an associated type can be used without -// specifying the value, and without invoking coherence errors. - -extern crate re_rebalance_coherence_lib_rpass as lib; -use lib::*; - -struct MyString {} - -impl LibToOwned for MyString { - type Owned = String; -} - -impl PartialEq<MyString> for LibCow<MyString> { - fn eq(&self, _other: &MyString) -> bool { - // Test that the default type is used. - let _s: &String = &self.o; - - false - } -} - -fn main() {} |