07e7823c01
If a symbol name can only be imported from one place for a type, and as long as it was not glob-imported anywhere in the current crate, we can trim its printed path and print only the name. This has wide implications on error messages with types, for example, shortening `std::vec::Vec` to just `Vec`, as long as there is no other `Vec` importable anywhere. This adds a new '-Z trim-diagnostic-paths=false' option to control this feature. On the good path, with no diagnosis printed, we should try to avoid issuing this query, so we need to prevent trimmed_def_paths query on several cases. This change also relies on a previous commit that differentiates between `Debug` and `Display` on various rustc types, where the latter is trimmed and presented to the user and the former is not.
87 lines
6 KiB
ObjectPascal
87 lines
6 KiB
ObjectPascal
#[prelude_import]
|
|
use ::std::prelude::v1::*;
|
|
#[macro_use]
|
|
extern crate std;
|
|
// pretty-compare-only
|
|
// pretty-mode:hir,typed
|
|
// pp-exact:issue-4264.pp
|
|
|
|
// #4264 fixed-length vector types
|
|
|
|
pub fn foo(_: [i32; (3 as usize)]) ({ } as ())
|
|
|
|
pub fn bar() ({
|
|
const FOO: usize = ((5 as usize) - (4 as usize) as usize);
|
|
let _: [(); (FOO as usize)] = ([(() as ())] as [(); 1]);
|
|
|
|
let _: [(); (1 as usize)] = ([(() as ())] as [(); 1]);
|
|
|
|
let _ =
|
|
(((&([(1 as i32), (2 as i32), (3 as i32)] as [i32; 3])
|
|
as &[i32; 3]) as *const _ as *const [i32; 3]) as
|
|
*const [i32; (3 as usize)] as *const [i32; 3]);
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
({
|
|
let res =
|
|
((::alloc::fmt::format as
|
|
for<'r> fn(Arguments<'r>) -> String {format})(((::core::fmt::Arguments::new_v1
|
|
as
|
|
fn(&[&'static str], &[ArgumentV1]) -> Arguments {Arguments::new_v1})((&([("test"
|
|
as
|
|
&str)]
|
|
as
|
|
[&str; 1])
|
|
as
|
|
&[&str; 1]),
|
|
(&(match (()
|
|
as
|
|
())
|
|
{
|
|
()
|
|
=>
|
|
([]
|
|
as
|
|
[ArgumentV1; 0]),
|
|
}
|
|
as
|
|
[ArgumentV1; 0])
|
|
as
|
|
&[ArgumentV1; 0]))
|
|
as
|
|
Arguments))
|
|
as String);
|
|
(res as String)
|
|
} as String);
|
|
} as ())
|
|
pub type Foo = [i32; (3 as usize)];
|
|
pub struct Bar {
|
|
pub x: [i32; (3 as usize)],
|
|
}
|
|
pub struct TupleBar([i32; (4 as usize)]);
|
|
pub enum Baz { BazVariant([i32; (5 as usize)]), }
|
|
pub fn id<T>(x: T) -> T ({ (x as T) } as T)
|
|
pub fn use_id() ({
|
|
let _ =
|
|
((id::<[i32; (3 as usize)]> as
|
|
fn([i32; 3]) -> [i32; 3] {id::<[i32; 3]>})(([(1
|
|
as
|
|
i32),
|
|
(2
|
|
as
|
|
i32),
|
|
(3
|
|
as
|
|
i32)]
|
|
as
|
|
[i32; 3]))
|
|
as [i32; 3]);
|
|
} as ())
|
|
fn main() ({ } as ())
|