pub fn const_param_default<'tcx>(
    _tcx: TyCtxt<'tcx>,
    value: const_param_default<'tcx>
) -> Erase<const_param_default<'tcx>>