fn f() {
    fn ff() {}
    type a = bool;
}