src/test/ui/issues/issue-37733.rs

// build-pass
#![allow(dead_code)]
type A = for<> fn();

type B = for<'a,> fn();

pub fn main() {}