Skip to content

Commit ef4d2c1

Browse files
lcnrlcnr
committed
change WellFormed predicate to GenericArg
1 parent 81831e1 commit ef4d2c1

File tree

28 files changed

+157
-255
lines changed

28 files changed

+157
-255
lines changed

‎src/librustc_infer/infer/combine.rs‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -307,7 +307,7 @@ impl<'infcx, 'tcx> CombineFields<'infcx, 'tcx> {
307307
self.obligations.push(Obligation::new(
308308
self.trace.cause.clone(),
309309
self.param_env,
310-
ty::PredicateKind::WellFormed(b_ty).to_predicate(self.infcx.tcx),
310+
ty::PredicateKind::WellFormed(b_ty.into()).to_predicate(self.infcx.tcx),
311311
));
312312
}
313313

‎src/librustc_infer/infer/outlives/mod.rs‎

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -20,8 +20,7 @@ pub fn explicit_outlives_bounds<'tcx>(
2020
| ty::PredicateKind::ClosureKind(..)
2121
| ty::PredicateKind::TypeOutlives(..)
2222
| ty::PredicateKind::ConstEvaluatable(..)
23-
| ty::PredicateKind::ConstEquate(..)
24-
| ty::PredicateKind::WellFormedConst(..) => None,
23+
| ty::PredicateKind::ConstEquate(..) => None,
2524
ty::PredicateKind::RegionOutlives(ref data) => data
2625
.no_bound_vars()
2726
.map(|ty::OutlivesPredicate(r_a, r_b)| OutlivesBound::RegionSubRegion(r_b, r_a)),

‎src/librustc_infer/traits/util.rs‎

Lines changed: 0 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -45,8 +45,6 @@ pub fn anonymize_predicate<'tcx>(
4545
}
4646

4747
ty::PredicateKind::ConstEquate(c1, c2) => ty::PredicateKind::ConstEquate(c1, c2),
48-
49-
ty::PredicateKind::WellFormedConst(ct) => ty::PredicateKind::WellFormedConst(ct),
5048
};
5149

5250
if new != *kind { new.to_predicate(tcx) } else { pred }
@@ -206,9 +204,6 @@ impl Elaborator<'tcx> {
206204
// Currently, we do not elaborate const-equate
207205
// predicates.
208206
}
209-
ty::PredicateKind::WellFormedConst(..) => {
210-
// Currently, we do not elaborate WF predicates.
211-
}
212207
ty::PredicateKind::RegionOutlives(..) => {
213208
// Nothing to elaborate from `'a: 'b`.
214209
}

‎src/librustc_lint/builtin.rs‎

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1218,7 +1218,6 @@ impl<'a, 'tcx> LateLintPass<'a, 'tcx> for TrivialConstraints {
12181218
Projection(..) |
12191219
// Ignore bounds that a user can't type
12201220
WellFormed(..) |
1221-
WellFormedConst(..) |
12221221
ObjectSafe(..) |
12231222
ClosureKind(..) |
12241223
Subtype(..) |

‎src/librustc_middle/ty/mod.rs‎

Lines changed: 4 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -14,7 +14,7 @@ use crate::mir::Body;
1414
use crate::mir::GeneratorLayout;
1515
use crate::traits::{self, Reveal};
1616
use crate::ty;
17-
use crate::ty::subst::{InternalSubsts, Subst, SubstsRef};
17+
use crate::ty::subst::{GenericArg, InternalSubsts, Subst, SubstsRef};
1818
use crate::ty::util::{Discr, IntTypeExt};
1919
use rustc_ast::ast;
2020
use rustc_attr as attr;
@@ -1061,7 +1061,7 @@ pub enum PredicateKind<'tcx> {
10611061
Projection(PolyProjectionPredicate<'tcx>),
10621062

10631063
/// No syntax: `T` well-formed.
1064-
WellFormed(Ty<'tcx>),
1064+
WellFormed(GenericArg<'tcx>),
10651065

10661066
/// Trait must be object-safe.
10671067
ObjectSafe(DefId),
@@ -1079,9 +1079,6 @@ pub enum PredicateKind<'tcx> {
10791079

10801080
/// Constants must be equal. The first component is the const that is expected.
10811081
ConstEquate(&'tcx Const<'tcx>, &'tcx Const<'tcx>),
1082-
1083-
/// Constant must be well formed.
1084-
WellFormedConst(&'tcx Const<'tcx>),
10851082
}
10861083

10871084
/// The crate outlives map is computed during typeck and contains the
@@ -1198,9 +1195,6 @@ impl<'tcx> Predicate<'tcx> {
11981195
PredicateKind::ConstEquate(c1, c2) => {
11991196
PredicateKind::ConstEquate(c1.subst(tcx, substs), c2.subst(tcx, substs))
12001197
}
1201-
PredicateKind::WellFormedConst(c) => {
1202-
PredicateKind::WellFormedConst(c.subst(tcx, substs))
1203-
}
12041198
};
12051199

12061200
if new != *kind { new.to_predicate(tcx) } else { self }
@@ -1392,8 +1386,7 @@ impl<'tcx> Predicate<'tcx> {
13921386
| PredicateKind::ClosureKind(..)
13931387
| PredicateKind::TypeOutlives(..)
13941388
| PredicateKind::ConstEvaluatable(..)
1395-
| PredicateKind::ConstEquate(..)
1396-
| PredicateKind::WellFormedConst(..) => None,
1389+
| PredicateKind::ConstEquate(..) => None,
13971390
}
13981391
}
13991392

@@ -1408,8 +1401,7 @@ impl<'tcx> Predicate<'tcx> {
14081401
| PredicateKind::ObjectSafe(..)
14091402
| PredicateKind::ClosureKind(..)
14101403
| PredicateKind::ConstEvaluatable(..)
1411-
| PredicateKind::ConstEquate(..)
1412-
| PredicateKind::WellFormedConst(..) => None,
1404+
| PredicateKind::ConstEquate(..) => None,
14131405
}
14141406
}
14151407
}

‎src/librustc_middle/ty/print/pretty.rs‎

Lines changed: 1 addition & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -2031,7 +2031,7 @@ define_print_and_forward_display! {
20312031
ty::PredicateKind::RegionOutlives(predicate) => p!(print(predicate)),
20322032
ty::PredicateKind::TypeOutlives(predicate) => p!(print(predicate)),
20332033
ty::PredicateKind::Projection(predicate) => p!(print(predicate)),
2034-
ty::PredicateKind::WellFormed(ty) => p!(print(ty), write(" well-formed")),
2034+
ty::PredicateKind::WellFormed(arg) => p!(print(arg), write(" well-formed")),
20352035
&ty::PredicateKind::ObjectSafe(trait_def_id) => {
20362036
p!(write("the trait `"),
20372037
print_def_path(trait_def_id, &[]),
@@ -2054,9 +2054,6 @@ define_print_and_forward_display! {
20542054
print(c2),
20552055
write("`"))
20562056
}
2057-
ty::PredicateKind::WellFormedConst(c) => {
2058-
p!(print(c), write(" well-formed"))
2059-
}
20602057
}
20612058
}
20622059

‎src/librustc_middle/ty/structural_impls.rs‎

Lines changed: 1 addition & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -236,7 +236,7 @@ impl fmt::Debug for ty::PredicateKind<'tcx> {
236236
ty::PredicateKind::RegionOutlives(ref pair) => pair.fmt(f),
237237
ty::PredicateKind::TypeOutlives(ref pair) => pair.fmt(f),
238238
ty::PredicateKind::Projection(ref pair) => pair.fmt(f),
239-
ty::PredicateKind::WellFormed(ty) => write!(f, "WellFormed({:?})", ty),
239+
ty::PredicateKind::WellFormed(data) => write!(f, "WellFormed({:?})", data),
240240
ty::PredicateKind::ObjectSafe(trait_def_id) => {
241241
write!(f, "ObjectSafe({:?})", trait_def_id)
242242
}
@@ -247,7 +247,6 @@ impl fmt::Debug for ty::PredicateKind<'tcx> {
247247
write!(f, "ConstEvaluatable({:?}, {:?})", def_id, substs)
248248
}
249249
ty::PredicateKind::ConstEquate(c1, c2) => write!(f, "ConstEquate({:?}, {:?})", c1, c2),
250-
ty::PredicateKind::WellFormedConst(c) => write!(f, "WellFormedConst({:?})", c),
251250
}
252251
}
253252
}
@@ -508,9 +507,6 @@ impl<'a, 'tcx> Lift<'tcx> for ty::PredicateKind<'a> {
508507
ty::PredicateKind::ConstEquate(c1, c2) => {
509508
tcx.lift(&(c1, c2)).map(|(c1, c2)| ty::PredicateKind::ConstEquate(c1, c2))
510509
}
511-
ty::PredicateKind::WellFormedConst(c) => {
512-
tcx.lift(&c).map(ty::PredicateKind::WellFormedConst)
513-
}
514510
}
515511
}
516512
}

‎src/librustc_mir/borrow_check/type_check/mod.rs‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1016,7 +1016,7 @@ impl<'a, 'tcx> TypeChecker<'a, 'tcx> {
10161016
}
10171017

10181018
self.prove_predicate(
1019-
ty::PredicateKind::WellFormed(inferred_ty).to_predicate(self.tcx()),
1019+
ty::PredicateKind::WellFormed(inferred_ty.into()).to_predicate(self.tcx()),
10201020
Locations::All(span),
10211021
ConstraintCategory::TypeAnnotation,
10221022
);
@@ -1268,7 +1268,7 @@ impl<'a, 'tcx> TypeChecker<'a, 'tcx> {
12681268
obligations.obligations.push(traits::Obligation::new(
12691269
ObligationCause::dummy(),
12701270
param_env,
1271-
ty::PredicateKind::WellFormed(revealed_ty).to_predicate(infcx.tcx),
1271+
ty::PredicateKind::WellFormed(revealed_ty.into()).to_predicate(infcx.tcx),
12721272
));
12731273
obligations.add(
12741274
infcx
@@ -1612,7 +1612,7 @@ impl<'a, 'tcx> TypeChecker<'a, 'tcx> {
16121612
self.check_call_dest(body, term, &sig, destination, term_location);
16131613

16141614
self.prove_predicates(
1615-
sig.inputs_and_output.iter().map(|ty| ty::PredicateKind::WellFormed(ty)),
1615+
sig.inputs_and_output.iter().map(|ty| ty::PredicateKind::WellFormed(ty.into())),
16161616
term_location.to_locations(),
16171617
ConstraintCategory::Boring,
16181618
);

‎src/librustc_mir/transform/qualify_min_const_fn.rs‎

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -29,8 +29,7 @@ pub fn is_min_const_fn(tcx: TyCtxt<'tcx>, def_id: DefId, body: &'a Body<'tcx>) -
2929
| ty::PredicateKind::WellFormed(_)
3030
| ty::PredicateKind::Projection(_)
3131
| ty::PredicateKind::ConstEvaluatable(..)
32-
| ty::PredicateKind::ConstEquate(..)
33-
| ty::PredicateKind::WellFormedConst(..) => continue,
32+
| ty::PredicateKind::ConstEquate(..) => continue,
3433
ty::PredicateKind::ObjectSafe(_) => {
3534
bug!("object safe predicate on function: {:#?}", predicate)
3635
}

‎src/librustc_trait_selection/opaque_types.rs‎

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1277,8 +1277,7 @@ crate fn required_region_bounds(
12771277
| ty::PredicateKind::ClosureKind(..)
12781278
| ty::PredicateKind::RegionOutlives(..)
12791279
| ty::PredicateKind::ConstEvaluatable(..)
1280-
| ty::PredicateKind::ConstEquate(..)
1281-
| ty::PredicateKind::WellFormedConst(..) => None,
1280+
| ty::PredicateKind::ConstEquate(..) => None,
12821281
ty::PredicateKind::TypeOutlives(predicate) => {
12831282
// Search for a bound of the form `erased_self_ty
12841283
// : 'a`, but be wary of something like `for<'a>

0 commit comments

Comments
 (0)