fn check_impl_constness(
    tcx: TyCtxt<'_>,
    constness: Constness,
    ast_trait_ref: &TraitRef<'_>
) -> BoundConstness