{"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"cov_mark::check!(add_explicit_type_not_applicable_if_ty_not_inferred);"}]}
        cov_mark::check!(add_explicit_type_not_applicable_if_ty_not_inferred);
    fn add_explicit_type_not_applicable_for_fully_unresolved() {
        check_assist_not_applicable(add_explicit_type, r#"fn f() { let a$0 = None; }"#);