1
Fork 0

Update tests, etc

This commit is contained in:
Michael Goulet 2023-01-02 23:18:00 +00:00
parent a4974fa9c7
commit 1e81f9a47f
32 changed files with 32 additions and 32 deletions

View file

@ -8,7 +8,6 @@
-Z branch-protection=val -- set options for branch target identification and pointer authentication on AArch64
-Z cf-protection=val -- instrument control-flow architecture protection
-Z cgu-partitioning-strategy=val -- the codegen unit partitioning strategy to use
-Z chalk=val -- enable the experimental Chalk-based trait solving engine
-Z codegen-backend=val -- the backend to use
-Z combine-cgu=val -- combine CGUs into a single one
-Z crate-attr=val -- inject the given attribute in the crate
@ -175,6 +174,7 @@
-Z tls-model=val -- choose the TLS model to use (`rustc --print tls-models` for details)
-Z trace-macros=val -- for every macro invocation, print its name and arguments (default: no)
-Z track-diagnostics=val -- tracks where in rustc a diagnostic was emitted
-Z trait-solver=val -- specify the trait solver mode used by rustc (default: stock)
-Z translate-additional-ftl=val -- additional fluent translation to preferentially use (for testing translation)
-Z translate-directionality-markers=val -- emit directionality isolation markers in translated diagnostics
-Z translate-lang=val -- language identifier for diagnostic output

View file

@ -1,5 +1,5 @@
// check-pass
// compile-flags: -Z chalk
// compile-flags: -Z trait-solver=chalk
fn main() {
1 + 2;

View file

@ -1,5 +1,5 @@
// run-pass
// compile-flags: -Z chalk
// compile-flags: -Z trait-solver=chalk
fn main() {
assert_eq!(1, 1);

View file

@ -1,5 +1,5 @@
// check-pass
// compile-flags: -Z chalk
// compile-flags: -Z trait-solver=chalk
trait Foo {}

View file

@ -1,6 +1,6 @@
// check-fail
// known-bug: unknown
// compile-flags: -Z chalk --edition=2021
// compile-flags: -Z trait-solver=chalk --edition=2021
fn main() -> () {}

View file

@ -1,5 +1,5 @@
// run-pass
// compile-flags: -Z chalk
// compile-flags: -Z trait-solver=chalk
// Test that `Clone` is correctly implemented for builtin types.

View file

@ -1,4 +1,4 @@
// compile-flags: -Z chalk
// compile-flags: -Z trait-solver=chalk
trait Foo { }

View file

@ -1,4 +1,4 @@
// compile-flags: -Z chalk
// compile-flags: -Z trait-solver=chalk
fn main() -> () {
let t = || {};

View file

@ -1,4 +1,4 @@
// compile-flags: -Z chalk
// compile-flags: -Z trait-solver=chalk
trait Foo { }

View file

@ -1,4 +1,4 @@
// compile-flags: -Z chalk
// compile-flags: -Z trait-solver=chalk
trait Foo: Sized { }

View file

@ -1,6 +1,6 @@
// Split out of impl_wf.rs to work around rust aborting compilation early
// compile-flags: -Z chalk
// compile-flags: -Z trait-solver=chalk
trait Foo: Sized { }

View file

@ -1,5 +1,5 @@
// run-pass
// compile-flags: -Z chalk
// compile-flags: -Z trait-solver=chalk
trait Foo { }

View file

@ -1,5 +1,5 @@
// run-pass
// compile-flags: -Z chalk
// compile-flags: -Z trait-solver=chalk
trait Foo { }

View file

@ -1,5 +1,5 @@
// check-pass
// compile-flags: -Z chalk
// compile-flags: -Z trait-solver=chalk
#![allow(dead_code)]

View file

@ -1,5 +1,5 @@
// check-pass
// compile-flags: -Z chalk
// compile-flags: -Z trait-solver=chalk
#![allow(dead_code)]

View file

@ -1,5 +1,5 @@
// check-pass
// compile-flags: -Z chalk
// compile-flags: -Z trait-solver=chalk
#![allow(dead_code)]

View file

@ -1,5 +1,5 @@
// check-pass
// compile-flags: -Z chalk
// compile-flags: -Z trait-solver=chalk
trait Foo { }

View file

@ -1,5 +1,5 @@
// check-pass
// compile-flags: -Z chalk
// compile-flags: -Z trait-solver=chalk
struct Foo<'a, T> where Box<T>: Clone {
_x: std::marker::PhantomData<&'a T>,

View file

@ -1,5 +1,5 @@
// check-pass
// compile-flags: -Z chalk
// compile-flags: -Z trait-solver=chalk
trait Bar { }

View file

@ -1,5 +1,5 @@
// check-pass
// compile-flags: -Z chalk
// compile-flags: -Z trait-solver=chalk
trait Foo<F: ?Sized> where for<'a> F: Fn(&'a (u8, u16)) -> &'a u8
{

View file

@ -1,5 +1,5 @@
// check-pass
// compile-flags: -Z chalk
// compile-flags: -Z trait-solver=chalk
use std::borrow::Borrow;

View file

@ -1,5 +1,5 @@
// check-pass
// compile-flags: -Z chalk
// compile-flags: -Z trait-solver=chalk
fn main() {
println!("hello");

View file

@ -1,5 +1,5 @@
// run-pass
// compile-flags: -Z chalk
// compile-flags: -Z trait-solver=chalk
trait Foo { }

View file

@ -1,6 +1,6 @@
// FIXME(chalk): should fail, see comments
// check-fail
// compile-flags: -Z chalk
// compile-flags: -Z trait-solver=chalk
#![feature(trivial_bounds)]

View file

@ -1,5 +1,5 @@
// run-pass
// compile-flags: -Z chalk
// compile-flags: -Z trait-solver=chalk
trait Foo { }
trait Bar: Foo { }

View file

@ -1,5 +1,5 @@
// check-pass
// compile-flags: -Z chalk
// compile-flags: -Z trait-solver=chalk
use std::fmt::Display;

View file

@ -1,5 +1,5 @@
// run-pass
// compile-flags: -Z chalk
// compile-flags: -Z trait-solver=chalk
trait Foo { }
trait Bar<U> where U: Foo { }

View file

@ -1,5 +1,5 @@
// run-pass
// compile-flags: -Z chalk
// compile-flags: -Z trait-solver=chalk
trait Eq { }
trait Hash: Eq { }

View file

@ -1,4 +1,4 @@
// compile-flags: -Z chalk
// compile-flags: -Z trait-solver=chalk
trait Foo { }
impl Foo for i32 { }

View file

@ -1,5 +1,5 @@
// check-fail
// compile-flags: -Z chalk
// compile-flags: -Z trait-solver=chalk
trait Foo { }

View file

@ -1,5 +1,5 @@
// A test exploiting the bug behind #25860 except with
// implied trait bounds which currently don't exist without `-Zchalk`.
// implied trait bounds which currently don't exist without `-Ztrait-solver=chalk`.
use std::marker::PhantomData;
struct Foo<'a, 'b, T>(PhantomData<(&'a (), &'b (), T)>)
where

View file

@ -2011,7 +2011,7 @@ impl<'test> TestCx<'test> {
rustc.args(&["-Zpolonius"]);
}
Some(CompareMode::Chalk) => {
rustc.args(&["-Zchalk"]);
rustc.args(&["-Ztrait-solver=chalk"]);
}
Some(CompareMode::SplitDwarf) if self.config.target.contains("windows") => {
rustc.args(&["-Csplit-debuginfo=unpacked", "-Zunstable-options"]);