{"ast_node_type":"other","tokens":[{"end":19,"kind":"keyword","start":0,"text":"///"}]}
    /// they don't.
    /// Requires that the two types unify, and prints an error message if
    pub(crate) fn demand_suptype(&self, sp: Span, expected: Ty<'tcx>, actual: Ty<'tcx>) {