Boxy
bdfeb8f36b
Remove weak alias terminology
2025-04-24 11:59:20 +01:00
Michael Goulet
220851cc75
Do not rely on type_var_origin in OrphanCheckErr::NonLocalInputType
2025-03-20 02:17:14 +00:00
Nicholas Nethercote
256c27e748
Move methods from Map to TyCtxt, part 4.
...
Continuing the work from #137350 .
Removes the unused methods: `expect_variant`, `expect_field`,
`expect_foreign_item`.
Every method gains a `hir_` prefix.
2025-03-12 08:55:37 +11:00
Michael Goulet
ac1c6c50f4
Use identifiers in diagnostics more often
2025-01-27 01:23:34 +00:00
Boxy
b99f59bbd6
Rename structurally_normalize to structurally_normalize_ty
2025-01-22 07:04:53 +00:00
Michael Goulet
9a1c5eb5b3
Begin to implement type system layer of unsafe binders
2024-12-22 21:57:57 +00:00
lcnr
948cec0fad
move fn is_item_raw to TypingEnv
2024-11-19 18:06:20 +01:00
lcnr
f51ec110a7
TypingMode 🤔
2024-10-29 17:01:24 +01:00
León Orell Valerian Liehr
01a063f9df
Compiler: Rename "object safe" to "dyn compatible"
2024-09-25 13:26:48 +02:00
Nicholas Nethercote
cc16c902f1
Remove #[macro_use] extern crate tracing from rustc_hir_analysis.
2024-08-30 17:14:59 +10:00
Nicholas Nethercote
84ac80f192
Reformat use declarations.
...
The previous commit updated `rustfmt.toml` appropriately. This commit is
the outcome of running `x fmt --all` with the new formatting options.
2024-07-29 08:26:52 +10:00
Michael Goulet
5accaf3af4
Make type_var_origin take a vid
2024-07-21 22:33:15 -04:00
Michael Goulet
a982471e07
Uplift trait_ref_is_knowable and friends
2024-07-07 11:10:32 -04:00
Michael Goulet
db638ab968
Rename a bunch of things
2024-06-21 12:32:05 -04:00
Oli Scherer
3f34196839
Remove redundant argument from subdiagnostic method
2024-06-18 15:42:11 +00:00
Michael Goulet
a41c44f21c
Nits and formatting
2024-06-03 10:02:08 -04:00
Michael Goulet
1e72c7f536
Add cycle errors to ScrubbedTraitError to remove a couple more calls to new_with_diagnostics
2024-06-03 09:27:52 -04:00
Michael Goulet
94a524ed11
Use ScrubbedTraitError in more places
2024-06-03 09:27:52 -04:00
Michael Goulet
54b2b7d460
Make TraitEngines generic over error
2024-06-03 09:27:52 -04:00
Nicholas Nethercote
f59348ff09
Remove extern crate rustc_middle from rustc_hir_analysis.
2024-05-13 08:04:47 +10:00
Michael Goulet
1c19b6ad60
Rename Generics::params to Generics::own_params
2024-05-09 20:58:46 -04:00
lcnr
c4e882fd99
shallow resolve in orphan check
2024-05-02 15:44:05 +00:00
León Orell Valerian Liehr
951e902562
Normalize trait ref before orphan check & consider ty params in alias types to be uncovered
2024-04-30 21:54:54 +02:00
Oli Scherer
84acfe86de
Actually create ranged int types in the type system.
2024-04-08 12:02:19 +00:00
Michael Goulet
f487d83390
Stop doing so much to handle subdiagnostics
2024-03-29 22:23:10 -04:00
Michael Goulet
bc1f1ef2c8
Stop removing substs from Adt type in coherence
2024-03-29 21:21:52 -04:00
Michael Goulet
7be0dbe772
Make RawPtr take Ty and Mutbl separately
2024-03-22 11:13:29 -04:00
clubby789
9bfc46c5d8
Add newtype for first input type
2024-02-20 13:32:55 +00:00
Santiago Pastorino
4803f173be
Inline do_orphan_check_impl
2024-02-19 17:41:51 -03:00
Santiago Pastorino
086463b227
Remove suspicious auto trait lint
2024-02-19 17:41:48 -03:00
Michael Goulet
c567eddec2
Add CoroutineClosure to TyKind, AggregateKind, UpvarArgs
2024-02-06 02:22:58 +00: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
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
Vadim Petrochenkov
c697927f44
rustc: hir().local_def_id_to_hir_id() -> tcx.local_def_id_to_hir_id() cleanup
2023-11-26 12:41:21 +03: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
Mu001999
62b6529e03
Turn assert_eq into a delay_span_bug
2023-11-13 08:36:12 +08:00
Obei Sideg
68f5536667
Migrate diagnostics in rustc_hir_analysis/src/coherence/orphan.rs
2023-10-24 14:46:13 +03:00
Oli Scherer
60956837cf
s/Generator/Coroutine/
2023-10-20 21:10:38 +00:00
Camille GILLOT
44ac8dcc71
Remove GeneratorWitness and rename GeneratorWitnessMIR.
2023-09-23 13:47:30 +00:00
Matthias Krüger
c64ef5e070
inline format!() args from rustc_codegen_llvm to the end (4)
...
r? @WaffleLapkin
2023-07-25 23:20:28 +02:00
Matthias Krüger
b594798ae3
fix clippy::useless_format
2023-07-23 11:14:52 +02:00
lcnr
fdaec57a28
XSimplifiedType to SimplifiedType::X
2023-07-20 11:05:52 +02: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
f3b7dd6388
Add AliasKind::Weak for type aliases.
...
Only use it when the type alias contains an opaque type.
Also does wf-checking on such type aliases.
2023-06-16 19:39:48 +00:00
Oli Scherer
4fdd07fe88
Merge the orphan logic for all alias kinds
2023-06-16 16:16:41 +00:00
Oli Scherer
31ae7c46bd
Invert IgnoreRegions to CheckRegions
2023-05-12 10:24:17 +00:00
