{"ast_node_type":"other","tokens":[{"end":23,"kind":"keyword","start":0,"text":"Coverage(Coverage),"}]}
    Coverage(Coverage),
    AscribeUserType { place: Place, projections: UserTypeProjection, variance: Variance },
    Intrinsic(NonDivergingIntrinsic),