{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":".or_default()"}]}
                            .or_default()
                            .entry((ty.to_string(), error_predicate.to_string()))
                            .push(error.obligation.cause.span);