cf6d6050f7
* The WASI targets deal with the `main` symbol a bit differently than native so some `codegen` and `assembly` tests have been ignored. * All `ignore-emscripten` directives have been updated to `ignore-wasm32` to be more clear that all wasm targets are ignored and it's not just Emscripten. * Most `ignore-wasm32-bare` directives are now gone. * Some ignore directives for wasm were switched to `needs-unwind` instead. * Many `ignore-wasm32*` directives are removed as the tests work with WASI as opposed to `wasm32-unknown-unknown`.
65 lines
1.7 KiB
Rust
65 lines
1.7 KiB
Rust
//@ compile-flags: -Zmir-opt-level=3
|
|
//@ run-pass
|
|
|
|
// Tests that specialization does not cause optimizations running on polymorphic MIR to resolve
|
|
// to a `default` implementation.
|
|
|
|
#![feature(specialization)] //~ WARN the feature `specialization` is incomplete
|
|
|
|
trait Marker {}
|
|
|
|
trait SpecializedTrait {
|
|
const CONST_BOOL: bool;
|
|
const CONST_STR: &'static str;
|
|
fn method() -> &'static str;
|
|
}
|
|
impl <T> SpecializedTrait for T {
|
|
default const CONST_BOOL: bool = false;
|
|
default const CONST_STR: &'static str = "in default impl";
|
|
#[inline(always)]
|
|
default fn method() -> &'static str {
|
|
"in default impl"
|
|
}
|
|
}
|
|
impl <T: Marker> SpecializedTrait for T {
|
|
const CONST_BOOL: bool = true;
|
|
const CONST_STR: &'static str = "in specialized impl";
|
|
fn method() -> &'static str {
|
|
"in specialized impl"
|
|
}
|
|
}
|
|
|
|
fn const_bool<T>() -> &'static str {
|
|
if <T as SpecializedTrait>::CONST_BOOL {
|
|
"in specialized impl"
|
|
} else {
|
|
"in default impl"
|
|
}
|
|
}
|
|
fn const_str<T>() -> &'static str {
|
|
<T as SpecializedTrait>::CONST_STR
|
|
}
|
|
fn run_method<T>() -> &'static str {
|
|
<T as SpecializedTrait>::method()
|
|
}
|
|
|
|
struct TypeA;
|
|
impl Marker for TypeA {}
|
|
struct TypeB;
|
|
|
|
#[inline(never)]
|
|
fn exit_if_not_eq(left: &str, right: &str) {
|
|
if left != right {
|
|
std::process::exit(1);
|
|
}
|
|
}
|
|
|
|
pub fn main() {
|
|
exit_if_not_eq("in specialized impl", const_bool::<TypeA>());
|
|
exit_if_not_eq("in default impl", const_bool::<TypeB>());
|
|
exit_if_not_eq("in specialized impl", const_str::<TypeA>());
|
|
exit_if_not_eq("in default impl", const_str::<TypeB>());
|
|
exit_if_not_eq("in specialized impl", run_method::<TypeA>());
|
|
exit_if_not_eq("in default impl", run_method::<TypeB>());
|
|
}
|