src/test/ui/regions/regions-creating-enums4.rs

   1 enum Ast<'a> {
   2     Num(usize),
   3     Add(&'a Ast<'a>, &'a Ast<'a>)
   4 }
   5
   6 fn mk_add_bad2<'a,'b>(x: &'a Ast<'a>, y: &'a Ast<'a>, z: &Ast) -> Ast<'b> {
   7     Ast::Add(x, y) //~ ERROR cannot infer
   8 }
   9
  10 fn main() {
  11 }