From 67a203f42cf9c215148a574ff285ca943dcb135e Mon Sep 17 00:00:00 2001 From: Niko Matsakis Date: Mon, 15 May 2017 21:02:38 -0400 Subject: move issue-41697 to a mir-opt test --- src/test/mir-opt/issue-41697.rs | 50 ++++++++++++++++++++++++++++++++++++++++ src/test/run-pass/issue-41697.rs | 50 ---------------------------------------- 2 files changed, 50 insertions(+), 50 deletions(-) create mode 100644 src/test/mir-opt/issue-41697.rs delete mode 100644 src/test/run-pass/issue-41697.rs diff --git a/src/test/mir-opt/issue-41697.rs b/src/test/mir-opt/issue-41697.rs new file mode 100644 index 00000000000..d59b6a16562 --- /dev/null +++ b/src/test/mir-opt/issue-41697.rs @@ -0,0 +1,50 @@ +// 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 or the MIT license +// , at your +// option. This file may not be copied, modified, or distributed +// except according to those terms. + +// compile-flags:-Zdump-mir=NEVER_MATCHED + +// Regression test for #41697. Using dump-mir was triggering +// artificial cycles: during type-checking, we had to get the MIR for +// the constant expressions in `[u8; 2]`, which in turn would trigger +// an attempt to get the item-path, which in turn would request the +// types of the impl, which would trigger a cycle. We supressed this +// cycle now by forcing mir-dump to avoid asking for types of an impl. + +#![feature(rustc_attrs)] + +use std::sync::Arc; + +trait Foo { + fn get(&self) -> [u8; 2]; +} + +impl Foo for [u8; 2] { + fn get(&self) -> [u8; 2] { + *self + } +} + +struct Bar(T); + +fn unsize_fat_ptr<'a>(x: &'a Bar) -> &'a Bar { + x +} + +fn unsize_nested_fat_ptr(x: Arc) -> Arc { + x +} + +fn main() { + let x: Box> = Box::new(Bar([1,2])); + assert_eq!(unsize_fat_ptr(&*x).0.get(), [1, 2]); + + let x: Arc = Arc::new([3, 4]); + assert_eq!(unsize_nested_fat_ptr(x).get(), [3, 4]); +} diff --git a/src/test/run-pass/issue-41697.rs b/src/test/run-pass/issue-41697.rs deleted file mode 100644 index d59b6a16562..00000000000 --- a/src/test/run-pass/issue-41697.rs +++ /dev/null @@ -1,50 +0,0 @@ -// 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 or the MIT license -// , at your -// option. This file may not be copied, modified, or distributed -// except according to those terms. - -// compile-flags:-Zdump-mir=NEVER_MATCHED - -// Regression test for #41697. Using dump-mir was triggering -// artificial cycles: during type-checking, we had to get the MIR for -// the constant expressions in `[u8; 2]`, which in turn would trigger -// an attempt to get the item-path, which in turn would request the -// types of the impl, which would trigger a cycle. We supressed this -// cycle now by forcing mir-dump to avoid asking for types of an impl. - -#![feature(rustc_attrs)] - -use std::sync::Arc; - -trait Foo { - fn get(&self) -> [u8; 2]; -} - -impl Foo for [u8; 2] { - fn get(&self) -> [u8; 2] { - *self - } -} - -struct Bar(T); - -fn unsize_fat_ptr<'a>(x: &'a Bar) -> &'a Bar { - x -} - -fn unsize_nested_fat_ptr(x: Arc) -> Arc { - x -} - -fn main() { - let x: Box> = Box::new(Bar([1,2])); - assert_eq!(unsize_fat_ptr(&*x).0.get(), [1, 2]); - - let x: Arc = Arc::new([3, 4]); - assert_eq!(unsize_nested_fat_ptr(x).get(), [3, 4]); -} -- cgit 1.4.1-3-g733a5