Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Address feedback, and remove invalid tests
- Loading branch information
Showing
11 changed files
with
108 additions
and
214 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
32 changes: 0 additions & 32 deletions
32
src/test/compile-fail/traits-inductive-overflow-auto-normal-auto.rs
This file was deleted.
Oops, something went wrong.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,49 @@ | ||
// Copyright 2016 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 <LICENSE-APACHE or | ||
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license | ||
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your | ||
// option. This file may not be copied, modified, or distributed | ||
// except according to those terms. | ||
|
||
// This test is for #29859, we need to ensure auto traits, | ||
// (also known previously as default traits), do not have | ||
// supertraits. Since the compiler synthesizes these | ||
// instances on demand, we are essentially enabling | ||
// users to write axioms if we view trait selection, | ||
// as a proof system. | ||
// | ||
// For example the below test allows us to add the rule: | ||
// forall (T : Type), T : Copy | ||
// | ||
// Providing a copy instance for *any* type, which | ||
// is most definitely unsound. Imagine copying a | ||
// type that contains a mutable reference, enabling | ||
// mutable aliasing. | ||
// | ||
// You can imagine an even more dangerous test, | ||
// which currently compiles on nightly. | ||
// | ||
// fn main() { | ||
// let mut i = 10; | ||
// let (a, b) = copy(&mut i); | ||
// println!("{:?} {:?}", a, b); | ||
// } | ||
|
||
#![feature(optin_builtin_traits)] | ||
|
||
trait Magic: Copy {} //~ ERROR E0565 | ||
impl Magic for .. {} | ||
impl<T:Magic> Magic for T {} | ||
|
||
fn copy<T: Magic>(x: T) -> (T, T) { (x, x) } | ||
|
||
#[derive(Debug)] | ||
struct NoClone; | ||
|
||
fn main() { | ||
let (a, b) = copy(NoClone); | ||
println!("{:?} {:?}", a, b); | ||
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
27 changes: 0 additions & 27 deletions
27
src/test/compile-fail/typeck-default-trait-impl-superregion.rs
This file was deleted.
Oops, something went wrong.
29 changes: 0 additions & 29 deletions
29
src/test/compile-fail/typeck-default-trait-impl-supertrait.rs
This file was deleted.
Oops, something went wrong.
36 changes: 0 additions & 36 deletions
36
src/test/compile-fail/typeck-default-trait-impl-trait-where-clause-2.rs
This file was deleted.
Oops, something went wrong.
Oops, something went wrong.