src/test/ui/issues/issue-20427.rs

   1 // run-pass
   2 #![allow(dead_code)]
   3 #![allow(unused_variables)]
   4 #![allow(unused_imports)]
   5 #![allow(non_upper_case_globals)]
   6 #![allow(non_camel_case_types)]
   7 #![allow(deprecated, deprecated_in_future)]
   8
   9 // aux-build:i8.rs
  10 // ignore-pretty issue #37201
  11
  12 extern crate i8;
  13 use std::string as i16;
  14 static i32: i32 = 0;
  15 const i64: i64 = 0;
  16 fn u8(f32: f32) {}
  17 fn f<f64>(f64: f64) {}
  18 enum u32 {}
  19 struct u64;
  20 trait bool {}
  21
  22 mod char {
  23     extern crate i8;
  24     static i32_: i32 = 0;
  25     const i64_: i64 = 0;
  26     fn u8_(f32: f32) {}
  27     fn f_<f64_>(f64: f64_) {}
  28     type u16_ = u16;
  29     enum u32_ {}
  30     struct u64_;
  31     trait bool_ {}
  32     mod char_ {}
  33
  34     mod str {
  35         use super::i8 as i8;
  36         use super::i32_ as i32;
  37         use super::i64_ as i64;
  38         use super::u8_ as u8;
  39         use super::f_ as f64;
  40         use super::u16_ as u16;
  41         use super::u32_ as u32;
  42         use super::u64_ as u64;
  43         use super::bool_ as bool;
  44         use super::{bool_ as str};
  45         use super::char_ as char;
  46     }
  47 }
  48
  49 trait isize_ {
  50     type isize;
  51 }
  52
  53 fn usize<'usize>(usize: &'usize usize) -> &'usize usize { usize }
  54
  55 mod reuse {
  56     use std::mem::size_of;
  57
  58     type u8 = u64;
  59     use std::string::String as i16;
  60
  61     pub fn check<u16>() {
  62         assert_eq!(size_of::<u8>(), 8);
  63         assert_eq!(size_of::<::u64>(), 0);
  64         assert_eq!(size_of::<i16>(), 3 * size_of::<*const ()>());
  65         assert_eq!(size_of::<u16>(), 0);
  66     }
  67 }
  68
  69 mod guard {
  70     pub fn check() {
  71         use std::u8; // bring module u8 in scope
  72         fn f() -> u8 { // OK, resolves to primitive u8, not to std::u8
  73             u8::max_value() // OK, resolves to associated function <u8>::max_value,
  74                             // not to non-existent std::u8::max_value
  75         }
  76         assert_eq!(f(), u8::MAX); // OK, resolves to std::u8::MAX
  77     }
  78 }
  79
  80 fn main() {
  81     let bool = true;
  82     let _ = match bool {
  83         str @ true => if str { i32 as i64 } else { i64 },
  84         false => i64,
  85     };
  86
  87     reuse::check::<u64>();
  88     guard::check();
  89 }