{"ast_node_type":"variable","tokens":[{"end":100,"kind":"keyword","start":0,"text":"let"}]}
    let mut type_checker = TypeChecker { body, caller_body, tcx, typing_env, failures: Vec::new() };
) -> Vec<(Location, String)> {
    // The type checker formats a bunch of strings with type names in it, but these strings