{"ast_node_type":"import","tokens":[{"end":80,"kind":"keyword","start":0,"text":"//"}]}
                    // Save the cause from the greatest depth - this corresponds
                if error.obligation.predicate == self.predicate {
                    // to picking more-specific types (e.g. `MyStruct<u8>`)