{"ast_node_type":"other","tokens":[{"end":22,"kind":"keyword","start":0,"text":"ecx.add_goals("}]}
        ecx.add_goals(
        // FIXME: We don't need these, since these are the type's own WF obligations.
            GoalSource::AliasWellFormed,