pub fn const_param_default<'tcx>(
    _: TyCtxt<'tcx>,
    param: &const_param_default<'tcx>
) -> bool