{"ast_node_type":"other","tokens":[{"end":23,"kind":"keyword","start":0,"text":"return;"}]}
                return;
                self.cx().delay_bug(format!("could not normalize {self_ty:?}, it is not WF"));
            }