{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"return"}]}
            return self.elaborator.patch().new_block(BasicBlockData::new(
        if adt.variants().is_empty() {
                Some(Terminator {