src/test/ui/typeck/issue-80779.rs

   1 // Regression test for #80779.
   2
   3 pub struct T<'a>(&'a str);
   4
   5 pub fn f<'a>(val: T<'a>) -> _ {
   6     //~^ ERROR: the placeholder `_` is not allowed within types on item signatures for return types
   7     g(val)
   8 }
   9
  10 pub fn g(_: T<'static>) -> _ {}
  11 //~^ ERROR: the placeholder `_` is not allowed within types on item signatures for return types
  12
  13 fn main() {}