syntax_data: {"ast_node_type":"import","tokens":[{"end":82,"kind":"keyword","start":0,"text":"//"}]}
source_snippet:             // That's because `type_of(ctor_did)` returns a FnDef, but we actually
context_before:             // This "fixes" user type annotations for tupled ctor patterns for ADTs.
context_after:             // want to be annotating the type of the ADT itself. It's a bit goofy,