From 199e0cd804f039ccdd414e37fe68323061ba4aa7 Mon Sep 17 00:00:00 2001 From: Flavio Percoco Date: Wed, 7 Jan 2015 20:51:15 +0100 Subject: Add test for missing default impl --- ...e-trait-polarity-mising-default-implementation.rs | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) create mode 100644 src/test/compile-fail/coherence-trait-polarity-mising-default-implementation.rs (limited to 'src') diff --git a/src/test/compile-fail/coherence-trait-polarity-mising-default-implementation.rs b/src/test/compile-fail/coherence-trait-polarity-mising-default-implementation.rs new file mode 100644 index 00000000000..d882603655b --- /dev/null +++ b/src/test/compile-fail/coherence-trait-polarity-mising-default-implementation.rs @@ -0,0 +1,20 @@ +// Copyright 2014 The Rust Project Developers. See the COPYRIGHT +// file at the top-level directory of this distribution and at +// http://rust-lang.org/COPYRIGHT. +// +// Licensed under the Apache License, Version 2.0 or the MIT license +// , at your +// option. This file may not be copied, modified, or distributed +// except according to those terms. + +#![feature(optin_builtin_traits)] + +struct TestType; + +trait TestTrait {} + +impl !TestTrait for TestType {} +//~^ the trait `TestTrait` is not implemented for the type `TestType` + +fn main() {} -- cgit 1.4.1-3-g733a5