{"ast_node_type":"other","tokens":[{"end":30,"kind":"keyword","start":0,"text":")"}]}
) -> Vec<(Location, String)> {
    caller_body: &Body<'tcx>,
    let mut type_checker = TypeChecker { body, caller_body, tcx, typing_env, failures: Vec::new() };