} //^ (i32, {unknown}, i32, {unknown})
//- /foo.rs crate:foo
-struct S;
+pub struct S;
#[cfg(not(test))]
impl S {
!0..6 '1isize': isize
!0..6 '1isize': isize
!0..6 '1isize': isize
- !0..6 '1isize': isize
39..442 '{ ...!(); }': ()
73..94 'spam!(...am!())': {unknown}
100..119 'for _ ...!() {}': ()
117..119 '{}': ()
124..134 '|| spam!()': || -> isize
140..156 'while ...!() {}': ()
+ 146..153 'spam!()': bool
154..156 '{}': ()
161..174 'break spam!()': !
180..194 'return spam!()': !
!0..6 '1isize': isize
!0..6 '1isize': isize
!0..6 '1isize': isize
- !0..6 '1isize': isize
53..456 '{ ...!(); }': ()
87..108 'spam!(...am!())': {unknown}
114..133 'for _ ...!() {}': ()
131..133 '{}': ()
138..148 '|| spam!()': || -> isize
154..170 'while ...!() {}': ()
+ 160..167 'spam!()': bool
168..170 '{}': ()
175..188 'break spam!()': !
194..208 'return spam!()': !
macro_rules! m {
($ident:ident) => (impl Trait for $ident {})
}
-trait Trait { fn foo(self) -> u128 {} }
+trait Trait { fn foo(self) -> u128 { 0 } }
struct S;
m!(S);
fn test() { S.foo(); }
- //^ u128
+ //^^^^^^^ u128
"#,
);
}
}
fn test() { S.foo(); }
- //^ u128
+ //^^^^^^^ u128
"#,
);
}
}
fn test() { S.foo(); }
- //^ u128
+ //^^^^^^^ u128
"#,
);
}
fn main() {
bar();
-} //^ u32
+} //^^^^^ u32
//- /foo.rs
fn bar() -> u32 {0}
);
}
+#[test]
+fn infer_builtin_macros_include_expression() {
+ check_types(
+ r#"
+//- /main.rs
+#[rustc_builtin_macro]
+macro_rules! include {() => {}}
+fn main() {
+ let i = include!("bla.rs");
+ i;
+ //^ i32
+}
+//- /bla.rs
+0
+ "#,
+ )
+}
+
#[test]
fn infer_builtin_macros_include_child_mod() {
check_types(
fn main() {
bar::bar();
-} //^ u32
+} //^^^^^^^^^^ u32
//- /f/foo.rs
pub mod bar;
fn main() {
RegisterBlock { };
- //^ RegisterBlock
+ //^^^^^^^^^^^^^^^^^ RegisterBlock
}
"#;
let fixture = format!("{}\n//- /foo.rs\n{}", fixture, data);
fn main() {
bar();
-} //^ u32
+} //^^^^^ u32
//- /foo.rs
fn bar() -> u32 {0}
fn main() {
bar();
-} //^ {unknown}
+} //^^^^^ {unknown}
//- /foo.rs
fn bar() -> u32 {0}
include!("main.rs");
fn main() {
- 0
+ 0;
} //^ i32
"#,
);
fn infer_derive_clone_simple() {
check_types(
r#"
-//- /main.rs crate:main deps:core
+//- minicore: derive, clone
#[derive(Clone)]
struct S;
fn test() {
S.clone();
-} //^ S
-
-//- /lib.rs crate:core
-#[prelude_import]
-use clone::*;
-mod clone {
- trait Clone {
- fn clone(&self) -> Self;
- }
- #[rustc_builtin_macro]
- macro Clone {}
-}
-"#,
- );
-}
-
-#[test]
-fn infer_derive_clone_in_core() {
- check_types(
- r#"
-//- /lib.rs crate:core
-#[prelude_import]
-use clone::*;
-mod clone {
- trait Clone {
- fn clone(&self) -> Self;
- }
- #[rustc_builtin_macro]
- macro Clone {}
-}
-#[derive(Clone)]
-pub struct S;
-
-//- /main.rs crate:main deps:core
-use core::S;
-fn test() {
- S.clone();
-} //^ S
+} //^^^^^^^^^ S
"#,
);
}
fn infer_derive_clone_with_params() {
check_types(
r#"
-//- /main.rs crate:main deps:core
+//- minicore: clone, derive
#[derive(Clone)]
struct S;
#[derive(Clone)]
struct Wrapper<T>(T);
struct NonClone;
fn test() {
- (Wrapper(S).clone(), Wrapper(NonClone).clone());
+ let x = (Wrapper(S).clone(), Wrapper(NonClone).clone());
+ x;
//^ (Wrapper<S>, {unknown})
}
-
-//- /lib.rs crate:core
-#[prelude_import]
-use clone::*;
-mod clone {
- trait Clone {
- fn clone(&self) -> Self;
- }
- #[rustc_builtin_macro]
- macro Clone {}
-}
"#,
);
}
// FIXME: this test current now do nothing
check_types(
r#"
-//- /main.rs crate:main
+//- minicore: derive
use foo::Foo;
#[derive(Foo)]
fn test() {
S{};
-} //^ S
+} //^^^ S
"#,
);
}