Michael Goulet
2025e44ef8
to_opt_poly_X_pred -> as_X_clause
2024-05-17 12:58:33 -04:00
Michael Goulet
412dc28d6a
Make P parameter explicit
2024-05-16 14:23:47 -04:00
Michael Goulet
11ec3eca74
Rename ToPredicate for Upcast
2024-05-16 14:23:47 -04:00
Michael Goulet
3bcdf3058e
split out AliasTy -> AliasTerm
2024-05-13 11:59:42 -04:00
Michael Goulet
905f565824
Apply nits, uplift ExistentialPredicate too
2024-05-11 18:20:00 -04:00
Michael Goulet
1c19b6ad60
Rename Generics::params to Generics::own_params
2024-05-09 20:58:46 -04:00
Waffle Lapkin
698d7a031e
Inline & delete Ty::new_unit, since it's just a field access
2024-05-02 17:49:23 +02:00
Michael Goulet
4b87c0b9c9
Split out ImplPolarity and PredicatePolarity
2024-03-22 11:16:56 -04:00
León Orell Valerian Liehr
b79335dbed
Update local variables and tracing calls
...
Most of the tracing calls didn't fully leverage the power of `tracing`.
For example, several of them used to hard-code method names / tracing spans
as well as variable names. Use `#[instrument]` and `?var` / `%var` (etc.) instead.
In my opinion, this is the proper way to migrate them from the old
AstConv nomenclature to the new HIR ty lowering one.
2024-03-22 06:32:23 +01:00
León Orell Valerian Liehr
82c2c8deb1
Update (doc) comments
...
Several (doc) comments were super outdated or didn't provide enough context.
Some doc comments shoved everything in a single paragraph without respecting
the fact that the first paragraph should be a single sentence because rustdoc
treats these as item descriptions / synopses on module pages.
2024-03-22 06:31:51 +01:00
León Orell Valerian Liehr
05d48b936f
Rename AstConv to HIR ty lowering
...
This includes updating astconv-related items and a few local variables.
2024-03-22 06:31:40 +01:00
Jason Newcomb
be9b125d41
Convert TypeVisitor and DefIdVisitor to use VisitorResult
2024-03-05 13:28:15 -05:00
Nicholas Nethercote
05849e8c2f
Use fewer delayed bugs.
...
For some cases where it's clear that an error has already occurred,
e.g.:
- there's a comment stating exactly that, or
- things like HIR lowering, where we are lowering an error kind
The commit also tweaks some comments around delayed bug sites.
2024-02-14 20:30:37 +11:00
Shoyu Vanilla
3856df059e
Dejargnonize subst
2024-02-12 15:46:35 +09:00
Nicholas Nethercote
cfdea760f5
Rename TyCtxt::struct_span_lint_hir as TyCtxt::node_span_lint.
2024-01-23 08:09:01 +11:00
Nicholas Nethercote
99472c7049
Remove Session methods that duplicate DiagCtxt methods.
...
Also add some `dcx` methods to types that wrap `TyCtxt`, for easier
access.
2023-12-24 08:05:28 +11:00
Nicholas Nethercote
09af8a667c
Rename Session::span_diagnostic as Session::dcx.
2023-12-18 16:06:21 +11:00
Jubilee
c5a3d98cc6
Rollup merge of #119004 - matthiaskrgr:conv, r=compiler-errors
...
NFC don't convert types to identical types
2023-12-15 21:33:00 -08:00
Matthias Krüger
8479945c08
NFC don't convert types to identical types
2023-12-15 23:56:24 +01:00
Michael Goulet
7f565ed282
Don't pass lint back out of lint decorator
2023-12-15 16:05:36 +00:00
Nicholas Nethercote
5d1d384443
Rename HandlerInner::delay_span_bug as HandlerInner::span_delayed_bug.
...
Because the corresponding `Level` is `DelayedBug` and `span_delayed_bug`
follows the pattern used everywhere else: `span_err`, `span_warning`,
etc.
2023-12-02 09:01:19 +11:00
Ryan Mehri
af6b84aaab
don't add redundant help for object safety violations
2023-11-26 09:53:58 -08:00
Nilstrieb
21a870515b
Fix clippy::needless_borrow in the compiler
...
`x clippy compiler -Aclippy::all -Wclippy::needless_borrow --fix`.
Then I had to remove a few unnecessary parens and muts that were exposed
now.
2023-11-21 20:13:40 +01:00
lcnr
8935a1be01
update type flags
...
- `HAS_RE_LATE_BOUND` -> `HAS_RE_BOUND`
- `HAS_TY_LATE_BOUND` -> `HAS_TY_BOUND`
- `HAS_CT_LATE_BOUND` -> `HAS_CT_BOUND`
- `HAS_LATE_BOUND` -> `HAS_BOUND_VARS`
- `fn has_late_bound_regions` -> `fn has_bound_regions`
- `fnhas_non_region_late_bound` -> `fn has_non_region_bound_vars`
- `fn has_late_bound_vars` -> `fn has_bound_vars`
2023-11-13 14:13:54 +00:00
Esteban Küber
17a6ae2df3
Detect object safety errors when assoc type is missing
...
When an associated type with GATs isn't specified in a `dyn Trait`, emit
an object safety error instead of only complaining about the missing
associated type, as it will lead the user down a path of three different
errors before letting them know that what they were trying to do is
impossible to begin with.
Fix #103155 .
2023-10-30 22:12:07 +00:00
Matthias Krüger
d3fb29a422
Rollup merge of #116401 - WaffleLapkin:vtablin''', r=oli-obk
...
Return multiple object-safety violation errors and code improvements to the object-safety check
See individual commits for more information. Split off of #114260 , since it turned out that the main intent of that PR was wrong.
r? oli-obk
2023-10-25 23:37:09 +02:00
Maybe Waffle
ecdbefa487
Return multiple object-safety violation errors
2023-10-25 20:26:07 +00:00
Maybe Waffle
89582351cf
Don't allow dead code
2023-10-25 20:23:43 +00:00
Maybe Waffle
6cb3376434
Add a comment explaining some weird is_vtable_safe_method behavior
2023-10-25 20:23:43 +00:00
Michael Goulet
b2d2184ede
Format all the let chains in compiler
2023-10-13 08:59:36 +00:00
Maybe Waffle
94c9d0c90f
Make non-zero check more obvious
2023-10-03 21:21:53 +00:00
Deadbeef
4fec845c3f
Remove constness from TraitPredicate
2023-08-02 15:38:00 +00:00
Matthias Krüger
3ce90b1649
inline format!() args up to and including rustc_codegen_llvm
2023-07-30 14:22:50 +02:00
Deadbeef
e6b423aebb
Remove constness from ParamEnv
2023-07-27 15:50:42 +00:00
Matthias Krüger
0baf4406da
Rollup merge of #113698 - compiler-errors:rpitit-check, r=spastorino
...
Make it clearer that we're just checking for an RPITIT
Tiny nit to use `is_impl_trait_in_trait` more, to make it clearer that we're just checking whether a def-id is an RPITIT, rather than doing something meaningful with the `opt_rpitit_info`.
r? `@spastorino`
2023-07-14 19:33:29 +02:00
Michael Goulet
14672eba8b
Make it clearer that we're just checking for an RPITIT
2023-07-14 15:18:48 +00:00
Mahdi Dibaiee
e55583c4b8
refactor(rustc_middle): Substs -> GenericArg
2023-07-14 13:27:35 +01:00
Boxy
12138b8e5e
Move TyCtxt::mk_x to Ty::new_x where applicable
2023-07-05 20:27:07 +01:00
Oli Scherer
307b5ffff3
Make all generics_require_sized_self go through the query to get caching.
2023-07-05 07:46:05 +00:00
Oli Scherer
ca581f9161
Don't require associated types with Self: Sized bounds in dyn Trait objects
2023-07-05 07:42:53 +00:00
Michael Goulet
0c73b41cd6
remove TypeWellFormedFromEnv
2023-07-03 21:40:04 +00:00
Michael Goulet
374173cd99
TypeWellFormedInEnv
2023-06-26 23:12:04 +00:00
Michael Goulet
fbdef58414
Migrate predicates_of and caller_bounds to Clause
2023-06-26 23:12:03 +00:00
Michael Goulet
46a650f4e0
Migrate item_bounds to ty::Clause
2023-06-22 18:34:23 +00:00
Michael Goulet
fca56a8d2c
s/Clause/ClauseKind
2023-06-19 14:57:42 +00:00
Michael Goulet
6594c75449
Move ConstEvaluatable to Clause
2023-06-17 21:27:13 +00:00
Michael Goulet
52d3fc93f2
Move WF goal to clause
2023-06-17 21:20:20 +00:00
Oli Scherer
58972d19e7
Merge method, type and const object safety checks
2023-06-05 16:39:16 +00:00
Oli Scherer
604ffab063
Avoid going through queries if a value of type AssocItem is already available
2023-06-05 14:22:45 +00:00
Deadbeef
4f83717cf7
Use translatable diagnostics in rustc_const_eval
2023-06-01 14:45:18 +00:00
