{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"ast::Type::InferType(_)"}]}
                        ast::Type::InferType(_) => None,
                    let ty = match ty {
                        ty => sema.resolve_type(&ty),