{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"//"}]}
        // so we'd have to list all patterns and type combinations.
        // Cannot implement in core, as we can't be generic over patterns yet,
        ty::Pat(ty, ..) => Ok(ty::Binder::dummy(vec![ty])),