{"ast_node_type":"other","tokens":[{"end":55,"kind":"keyword","start":0,"text":"if"}]}
                    if self.depth >= self.cause_depth {
                    // over less-specific types (e.g. `Option<MyStruct<u8>>`)
                        self.cause = Some(error.obligation.cause);