Skip to content

Commit

Permalink
Add test.
Browse files Browse the repository at this point in the history
  • Loading branch information
cjgillot committed Dec 11, 2021
1 parent 9a68003 commit 989d1de
Show file tree
Hide file tree
Showing 3 changed files with 72 additions and 0 deletions.
47 changes: 47 additions & 0 deletions src/test/ui/lifetimes/auxiliary/issue-91763-aux.rs
@@ -0,0 +1,47 @@
// force-host
// no-prefer-dynamic

#![crate_type = "proc-macro"]

//#![feature(proc_macro_diagnostic, proc_macro_span, proc_macro_def_site)]

extern crate proc_macro;

use proc_macro::{Delimiter, Group, Ident, Punct, Spacing, Span, TokenStream, TokenTree};
use std::iter::FromIterator;

#[proc_macro_attribute]
pub fn repro(_args: TokenStream, input: TokenStream) -> TokenStream {
let call_site = Span::call_site();
let span = input.into_iter().nth(8).unwrap().span();

//fn f(_: &::std::fmt::Formatter) {}
TokenStream::from_iter([
TokenTree::Ident(Ident::new("fn", call_site)),
TokenTree::Ident(Ident::new("f", call_site)),
TokenTree::Group(Group::new(
Delimiter::Parenthesis,
TokenStream::from_iter([
TokenTree::Ident(Ident::new("_", call_site)),
TokenTree::Punct(punct(':', Spacing::Alone, call_site)),
TokenTree::Punct(punct('&', Spacing::Alone, call_site)),
TokenTree::Punct(punct(':', Spacing::Joint, span)),
TokenTree::Punct(punct(':', Spacing::Alone, span)),
TokenTree::Ident(Ident::new("std", span)),
TokenTree::Punct(punct(':', Spacing::Joint, span)),
TokenTree::Punct(punct(':', Spacing::Alone, span)),
TokenTree::Ident(Ident::new("fmt", span)),
TokenTree::Punct(punct(':', Spacing::Joint, span)),
TokenTree::Punct(punct(':', Spacing::Alone, span)),
TokenTree::Ident(Ident::new("Formatter", span)),
]),
)),
TokenTree::Group(Group::new(Delimiter::Brace, TokenStream::new())),
])
}

fn punct(ch: char, spacing: Spacing, span: Span) -> Punct {
let mut punct = Punct::new(ch, spacing);
punct.set_span(span);
punct
}
11 changes: 11 additions & 0 deletions src/test/ui/lifetimes/issue-91763.rs
@@ -0,0 +1,11 @@
// aux-build:issue-91763-aux.rs

#![deny(elided_lifetimes_in_paths)]

extern crate issue_91763_aux;

#[issue_91763_aux::repro]
fn f() -> Ptr<Thing>;
//~^ ERROR hidden lifetime parameters in types are deprecated

fn main() {}
14 changes: 14 additions & 0 deletions src/test/ui/lifetimes/issue-91763.stderr
@@ -0,0 +1,14 @@
error: hidden lifetime parameters in types are deprecated
--> $DIR/issue-91763.rs:8:20
|
LL | fn f() -> Ptr<Thing>;
| ^ expected named lifetime parameter
|
note: the lint level is defined here
--> $DIR/issue-91763.rs:3:9
|
LL | #![deny(elided_lifetimes_in_paths)]
| ^^^^^^^^^^^^^^^^^^^^^^^^^

error: aborting due to previous error

0 comments on commit 989d1de

Please sign in to comment.