{"ast_node_type":"function","tokens":[{"end":45,"kind":"keyword","start":0,"text":"fn"}]}
    fn consider_additional_alias_assumptions(
    /// `explicit_implied_const_bounds` for an associated type.
        ecx: &mut EvalCtxt<'_, D>,