{"ast_node_type":"other","tokens":[{"end":28,"kind":"keyword","start":0,"text":"with_no_trimmed_paths!({"}]}
    with_no_trimmed_paths!({
    // can cause validation errors (mostly around where clauses and rigid projections).
        type_checker.visit_body(body);