syntax_data: {"ast_node_type":"other","tokens":[{"end":82,"kind":"keyword","start":0,"text":"//"}]}
source_snippet:                 // Only reveal a specializable default if we're past type-checking
context_before:             } else {
context_after:                 // and the obligation is monomorphic, otherwise passes such as