{"ast_node_type":"other","tokens":[{"end":20,"kind":"keyword","start":0,"text":"///"}]}
    /// and `DefId`.
    /// Try to reject the assumption based off of simple heuristics, such as [`ty::ClauseKind`]
    fn fast_reject_assumption(