{"ast_node_type":"other","tokens":[{"end":99,"kind":"keyword","start":0,"text":"//"}]}
        // Calling this after `PostAnalysisNormalize` ensures that we don't deal with opaque types.
        &post_analysis_normalize::PostAnalysisNormalize,
        &add_subtyping_projections::Subtyper,