fn const_param_default<'tcx>( tcx: TyCtxt<'tcx>, def_id: LocalDefId, ) -> EarlyBinder<'tcx, Const<'tcx>>