syntax_data: {"ast_node_type":"other","tokens":[{"end":92,"kind":"keyword","start":0,"text":"//"}]}
source_snippet:             // the case of `!`, no return value is required, as the block will never return.
context_before:             // return type is `!`. For the unit type, we need to actually return the unit, but in
context_after:             // Opaque types of empty bodies also need this unit assignment, in order to infer that their