2018-06-30 11:53:46 -05:00
|
|
|
// run-pass
|
2018-11-24 07:34:13 -06:00
|
|
|
// force-host
|
2018-06-30 11:53:46 -05:00
|
|
|
// no-prefer-dynamic
|
|
|
|
|
|
|
|
#![crate_type = "proc-macro"]
|
|
|
|
|
|
|
|
extern crate proc_macro;
|
|
|
|
use proc_macro::*;
|
|
|
|
|
|
|
|
#[proc_macro]
|
|
|
|
pub fn check(_: TokenStream) -> TokenStream {
|
|
|
|
"
|
2018-07-07 15:07:06 -05:00
|
|
|
type Alias = FromOutside; // OK
|
2018-06-30 11:53:46 -05:00
|
|
|
struct Outer;
|
|
|
|
mod inner {
|
2018-07-07 15:07:06 -05:00
|
|
|
type Alias = FromOutside; // `FromOutside` shouldn't be available from here
|
2018-06-30 11:53:46 -05:00
|
|
|
type Inner = Outer; // `Outer` shouldn't be available from here
|
|
|
|
}
|
|
|
|
".parse().unwrap()
|
|
|
|
}
|
2018-07-07 15:07:06 -05:00
|
|
|
|
|
|
|
#[proc_macro_attribute]
|
|
|
|
pub fn check_attr(_: TokenStream, _: TokenStream) -> TokenStream {
|
|
|
|
"
|
|
|
|
type AliasAttr = FromOutside; // OK
|
|
|
|
struct OuterAttr;
|
|
|
|
mod inner_attr {
|
|
|
|
type Alias = FromOutside; // `FromOutside` shouldn't be available from here
|
|
|
|
type Inner = OuterAttr; // `OuterAttr` shouldn't be available from here
|
|
|
|
}
|
|
|
|
".parse().unwrap()
|
|
|
|
}
|
|
|
|
|
|
|
|
#[proc_macro_derive(CheckDerive)]
|
|
|
|
pub fn check_derive(_: TokenStream) -> TokenStream {
|
|
|
|
"
|
|
|
|
type AliasDerive = FromOutside; // OK
|
|
|
|
struct OuterDerive;
|
|
|
|
mod inner_derive {
|
|
|
|
type Alias = FromOutside; // `FromOutside` shouldn't be available from here
|
|
|
|
type Inner = OuterDerive; // `OuterDerive` shouldn't be available from here
|
|
|
|
}
|
|
|
|
".parse().unwrap()
|
|
|
|
}
|
2018-07-21 13:14:22 -05:00
|
|
|
|
|
|
|
#[proc_macro_derive(CheckDeriveLint)]
|
|
|
|
pub fn check_derive_lint(_: TokenStream) -> TokenStream {
|
|
|
|
"
|
|
|
|
type AliasDeriveLint = FromOutside; // OK
|
|
|
|
struct OuterDeriveLint;
|
|
|
|
#[allow(proc_macro_derive_resolution_fallback)]
|
|
|
|
mod inner_derive_lint {
|
|
|
|
type Alias = FromOutside; // `FromOutside` shouldn't be available from here
|
|
|
|
type Inner = OuterDeriveLint; // `OuterDeriveLint` shouldn't be available from here
|
|
|
|
}
|
|
|
|
".parse().unwrap()
|
|
|
|
}
|