Skip to content

Commit 2ce0b66

Browse files
fmeasefmease
committed
HIR ty lowering: Simplify signature of lower_poly_trait_ref 
1 parent 9cd918b commit 2ce0b66

File tree

5 files changed

+54
-32
lines changed

5 files changed

+54
-32
lines changed

‎compiler/rustc_hir_analysis/src/hir_ty_lowering/bounds.rs‎

Lines changed: 1 addition & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -482,12 +482,8 @@ impl<'tcx> dyn HirTyLowerer<'tcx> + '_ {
482482

483483
match hir_bound {
484484
hir::GenericBound::Trait(poly_trait_ref) => {
485-
let hir::TraitBoundModifiers { constness, polarity } = poly_trait_ref.modifiers;
486485
let _ = self.lower_poly_trait_ref(
487-
&poly_trait_ref.trait_ref,
488-
poly_trait_ref.span,
489-
constness,
490-
polarity,
486+
poly_trait_ref,
491487
param_ty,
492488
bounds,
493489
predicate_filter,

‎compiler/rustc_hir_analysis/src/hir_ty_lowering/dyn_compatibility.rs‎

Lines changed: 8 additions & 16 deletions
Original file line numberDiff line numberDiff line change
@@ -18,9 +18,7 @@ use tracing::{debug, instrument};
1818

1919
use super::HirTyLowerer;
2020
use crate::errors::SelfInTypeAlias;
21-
use crate::hir_ty_lowering::{
22-
GenericArgCountMismatch, GenericArgCountResult, PredicateFilter, RegionInferReason,
23-
};
21+
use crate::hir_ty_lowering::{GenericArgCountMismatch, PredicateFilter, RegionInferReason};
2422

2523
impl<'tcx> dyn HirTyLowerer<'tcx> + '_ {
2624
/// Lower a trait object type from the HIR to our internal notion of a type.
@@ -38,24 +36,18 @@ impl<'tcx> dyn HirTyLowerer<'tcx> + '_ {
3836

3937
let mut user_written_bounds = Vec::new();
4038
let mut potential_assoc_types = Vec::new();
41-
for trait_bound in hir_bounds.iter() {
42-
if let hir::BoundPolarity::Maybe(_) = trait_bound.modifiers.polarity {
39+
for poly_trait_ref in hir_bounds.iter() {
40+
if let hir::BoundPolarity::Maybe(_) = poly_trait_ref.modifiers.polarity {
4341
continue;
4442
}
45-
if let GenericArgCountResult {
46-
correct:
47-
Err(GenericArgCountMismatch { invalid_args: cur_potential_assoc_types, .. }),
48-
..
49-
} = self.lower_poly_trait_ref(
50-
&trait_bound.trait_ref,
51-
trait_bound.span,
52-
trait_bound.modifiers.constness,
53-
hir::BoundPolarity::Positive,
43+
let result = self.lower_poly_trait_ref(
44+
poly_trait_ref,
5445
dummy_self,
5546
&mut user_written_bounds,
5647
PredicateFilter::SelfOnly,
57-
) {
58-
potential_assoc_types.extend(cur_potential_assoc_types);
48+
);
49+
if let Err(GenericArgCountMismatch { invalid_args, .. }) = result.correct {
50+
potential_assoc_types.extend(invalid_args);
5951
}
6052
}
6153

‎compiler/rustc_hir_analysis/src/hir_ty_lowering/mod.rs‎

Lines changed: 8 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -747,17 +747,20 @@ impl<'tcx> dyn HirTyLowerer<'tcx> + '_ {
747747
/// If for example you had `for<'a> Foo<'a>: Bar<'a>`, then the `self_ty` would be `Foo<'a>`
748748
/// where `'a` is a bound region at depth 0. Similarly, the `trait_ref` would be `Bar<'a>`.
749749
/// The lowered poly-trait-ref will track this binder explicitly, however.
750-
#[instrument(level = "debug", skip(self, span, constness, bounds))]
750+
#[instrument(level = "debug", skip(self, bounds))]
751751
pub(crate) fn lower_poly_trait_ref(
752752
&self,
753-
trait_ref: &hir::TraitRef<'tcx>,
754-
span: Span,
755-
constness: hir::BoundConstness,
756-
polarity: hir::BoundPolarity,
753+
poly_trait_ref: &hir::PolyTraitRef<'tcx>,
757754
self_ty: Ty<'tcx>,
758755
bounds: &mut Vec<(ty::Clause<'tcx>, Span)>,
759756
predicate_filter: PredicateFilter,
760757
) -> GenericArgCountResult {
758+
// We use the *resolved* bound vars later instead of the HIR ones since the former
759+
// also include the bound vars of the overarching predicate if applicable.
760+
let hir::PolyTraitRef { bound_generic_params: _, modifiers, ref trait_ref, span } =
761+
*poly_trait_ref;
762+
let hir::TraitBoundModifiers { constness, polarity } = modifiers;
763+
761764
let trait_def_id = trait_ref.trait_def_id().unwrap_or_else(|| FatalError.raise());
762765
let trait_segment = trait_ref.path.segments.last().unwrap();
763766

‎tests/ui/traits/const-traits/mutually-exclusive-trait-bound-modifiers.rs‎

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,9 +2,12 @@
22

33
const fn maybe_const_maybe<T: [const] ?Sized>() {}
44
//~^ ERROR `[const]` trait not allowed with `?` trait polarity modifier
5+
//~| ERROR `[const]` can only be applied to `const` traits
6+
//~| ERROR `[const]` can only be applied to `const` traits
57

68
fn const_maybe<T: const ?Sized>() {}
79
//~^ ERROR `const` trait not allowed with `?` trait polarity modifier
10+
//~| ERROR `const` can only be applied to `const` traits
811

912
const fn maybe_const_negative<T: [const] !Trait>() {}
1013
//~^ ERROR `[const]` trait not allowed with `!` trait polarity modifier

‎tests/ui/traits/const-traits/mutually-exclusive-trait-bound-modifiers.stderr‎

Lines changed: 34 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -7,40 +7,68 @@ LL | const fn maybe_const_maybe<T: [const] ?Sized>() {}
77
| there is not a well-defined meaning for a `[const] ?` trait
88

99
error: `const` trait not allowed with `?` trait polarity modifier
10-
--> $DIR/mutually-exclusive-trait-bound-modifiers.rs:6:25
10+
--> $DIR/mutually-exclusive-trait-bound-modifiers.rs:8:25
1111
|
1212
LL | fn const_maybe<T: const ?Sized>() {}
1313
| ----- ^
1414
| |
1515
| there is not a well-defined meaning for a `const ?` trait
1616

1717
error: `[const]` trait not allowed with `!` trait polarity modifier
18-
--> $DIR/mutually-exclusive-trait-bound-modifiers.rs:9:42
18+
--> $DIR/mutually-exclusive-trait-bound-modifiers.rs:12:42
1919
|
2020
LL | const fn maybe_const_negative<T: [const] !Trait>() {}
2121
| ------- ^
2222
| |
2323
| there is not a well-defined meaning for a `[const] !` trait
2424

2525
error: `const` trait not allowed with `!` trait polarity modifier
26-
--> $DIR/mutually-exclusive-trait-bound-modifiers.rs:13:28
26+
--> $DIR/mutually-exclusive-trait-bound-modifiers.rs:16:28
2727
|
2828
LL | fn const_negative<T: const !Trait>() {}
2929
| ----- ^
3030
| |
3131
| there is not a well-defined meaning for a `const !` trait
3232

3333
error: negative bounds are not supported
34-
--> $DIR/mutually-exclusive-trait-bound-modifiers.rs:9:42
34+
--> $DIR/mutually-exclusive-trait-bound-modifiers.rs:12:42
3535
|
3636
LL | const fn maybe_const_negative<T: [const] !Trait>() {}
3737
| ^
3838

3939
error: negative bounds are not supported
40-
--> $DIR/mutually-exclusive-trait-bound-modifiers.rs:13:28
40+
--> $DIR/mutually-exclusive-trait-bound-modifiers.rs:16:28
4141
|
4242
LL | fn const_negative<T: const !Trait>() {}
4343
| ^
4444

45-
error: aborting due to 6 previous errors
45+
error: `[const]` can only be applied to `const` traits
46+
--> $DIR/mutually-exclusive-trait-bound-modifiers.rs:3:31
47+
|
48+
LL | const fn maybe_const_maybe<T: [const] ?Sized>() {}
49+
| ^^^^^^^ can't be applied to `Sized`
50+
|
51+
note: `Sized` can't be used with `[const]` because it isn't `const`
52+
--> $SRC_DIR/core/src/marker.rs:LL:COL
53+
54+
error: `[const]` can only be applied to `const` traits
55+
--> $DIR/mutually-exclusive-trait-bound-modifiers.rs:3:31
56+
|
57+
LL | const fn maybe_const_maybe<T: [const] ?Sized>() {}
58+
| ^^^^^^^ can't be applied to `Sized`
59+
|
60+
note: `Sized` can't be used with `[const]` because it isn't `const`
61+
--> $SRC_DIR/core/src/marker.rs:LL:COL
62+
= note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
63+
64+
error: `const` can only be applied to `const` traits
65+
--> $DIR/mutually-exclusive-trait-bound-modifiers.rs:8:19
66+
|
67+
LL | fn const_maybe<T: const ?Sized>() {}
68+
| ^^^^^ can't be applied to `Sized`
69+
|
70+
note: `Sized` can't be used with `const` because it isn't `const`
71+
--> $SRC_DIR/core/src/marker.rs:LL:COL
72+
73+
error: aborting due to 9 previous errors
4674

0 commit comments

Comments
 (0)