{"ast_node_type":"other","tokens":[{"end":32,"kind":"keyword","start":0,"text":"///"}]}
    /// as the name suggests. =)
    /// N.B., associated types in this type have not been normalized,
    pub unnormalized_output_ty: Ty<'tcx>,