lcnr
8f9062530b
always use GenericArgsRef
2024-05-09 19:52:02 +00:00
Michael Goulet
028d29301f
Deeply normalize when processing registered region obligations
2024-01-30 00:06:53 +00:00
Jack Huey
acab76573f
Add -Zno-implied-bounds-compat option and use it
2024-01-17 21:27:34 -05:00
Ali MJ Al-Nasrawy
d96003dd2a
Correctly handle normalization in implied bounds
...
Special-case Bevy dependents to not error
2024-01-17 21:27:34 -05: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
Ali MJ Al-Nasrawy
f38d1e971d
global param_env canonicalization cache
2023-12-13 14:57:52 +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
Mahdi Dibaiee
e55583c4b8
refactor(rustc_middle): Substs -> GenericArg
2023-07-14 13:27:35 +01:00
Michael Goulet
a9fcb524ff
Impl ConstParamTy for tuples, make PartialStructuralEq a supertrait too
2023-06-01 18:21:42 +00:00
Maybe Waffle
1bf6bbb1bd
Impl StructuralEq & ConstParamTy for str, &T, [T; N] and [T]
2023-04-27 15:59:07 +00:00
Maybe Waffle
1c544108b1
Check the correct trait when checking ConstParamTy impls
2023-04-27 15:46:23 +00:00
Maybe Waffle
9a716dafbe
Add a ConstParamTy trait
2023-04-27 15:46:21 +00:00
Josh Soref
e09d0d2a29
Spelling - compiler
...
* account
* achieved
* advising
* always
* ambiguous
* analysis
* annotations
* appropriate
* build
* candidates
* cascading
* category
* character
* clarification
* compound
* conceptually
* constituent
* consts
* convenience
* corresponds
* debruijn
* debug
* debugable
* debuggable
* deterministic
* discriminant
* display
* documentation
* doesn't
* ellipsis
* erroneous
* evaluability
* evaluate
* evaluation
* explicitly
* fallible
* fulfill
* getting
* has
* highlighting
* illustrative
* imported
* incompatible
* infringing
* initialized
* into
* intrinsic
* introduced
* javascript
* liveness
* metadata
* monomorphization
* nonexistent
* nontrivial
* obligation
* obligations
* offset
* opaque
* opportunities
* opt-in
* outlive
* overlapping
* paragraph
* parentheses
* poisson
* precisely
* predecessors
* predicates
* preexisting
* propagated
* really
* reentrant
* referent
* responsibility
* rustonomicon
* shortcircuit
* simplifiable
* simplifications
* specify
* stabilized
* structurally
* suggestibility
* translatable
* transmuting
* two
* unclosed
* uninhabited
* visibility
* volatile
* workaround
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
2023-04-17 16:09:18 -04:00
lcnr
a19adefa0e
region error cleanup
...
- require `TypeErrCtxt` to always result in an error
- move `resolve_regions_and_report_errors` to the `ObligationCtxt`
- merge `process_registered_region_obligations` into `resolve_regions`
2023-04-12 10:24:36 +02:00
Ali MJ Al-Nasrawy
b197f1ac2e
remove obsolete givens from regionck
2023-03-26 11:43:12 +03:00
Rémy Rakic
5ad1083e5b
Revert "Auto merge of #107376 - aliemjay:remove-givens, r=lcnr"
...
This reverts commit e84e5ff04a1716932743
2023-03-15 15:09:29 +00:00
bors
e84e5ff04a
Auto merge of #107376 - aliemjay:remove-givens, r=lcnr
...
remove obsolete `givens` from regionck
Fixes #106567
r? `@lcnr` (feel free to reassign)
2023-03-15 02:50:58 +00:00
Ali MJ Al-Nasrawy
95bcca85ff
remove obsolete givens from regionck
2023-03-09 11:01:33 +03:00
Michael Goulet
8a99ffc344
Suppress copy impl error when post-normalized type references errors
2023-03-08 00:12:33 +00:00
Alan Egerton
695072daa6
Remove type-traversal trait aliases
2023-02-22 17:04:58 +00:00
Boxy
57ad73aa27
rename query and use NoSolution
2023-02-12 19:32:07 +00:00
Boxy
a85b0101e6
make relate's const ty assertion use semantic equality
2023-02-11 23:05:16 +00:00
Michael Goulet
75074e0e52
Delay normalization bugs instead of reporting them
2023-01-13 23:19:36 +00:00
Michael Goulet
16cfadbfe8
Suggest lifetime bound in illegal Copy impl
2023-01-13 23:06:29 +00:00
Michael Goulet
333c6bf523
copy self type is implied wf
2023-01-13 23:06:29 +00:00
Michael Goulet
8cf7f40a89
Check ADT fields for copy implementations considering regions
2023-01-13 23:06:29 +00:00
Michael Goulet
bc345d7bd0
Move fallback_has_occurred to FnCtxt
2022-11-06 02:40:25 +00:00
Cameron Steffen
283abbf0e7
Change InferCtxtBuilder from enter to build
2022-10-07 07:10:40 -05:00
Cameron Steffen
4a68373217
Introduce TypeErrCtxt
...
TypeErrCtxt optionally has a TypeckResults so that InferCtxt doesn't
need to.
2022-10-07 07:06:16 -05:00
Oli Scherer
c7b6ebdf7c
It's not about types or consts, but the lack of regions
2022-10-04 14:10:44 +00:00
Michael Goulet
37d412cff7
Remove FulfillmentContext param from fully_normalize
2022-08-04 13:42:13 +00:00
Alan Egerton
4f0a64736b
Update TypeVisitor paths
2022-07-06 06:41:53 +01:00
Michael Goulet
4c6a6bc3f9
Tighten spans for bad fields in Copy struct
2022-06-03 19:17:12 -07:00
Michael Goulet
c8cbd3d03c
better errors when a Copy impl is not coherent
2022-03-22 18:15:29 -07:00
Nicholas Nethercote
ca5525d564
Improve AdtDef interning.
...
This commit makes `AdtDef` use `Interned`. Much the commit is tedious
changes to introduce getter functions. The interesting changes are in
`compiler/rustc_middle/src/ty/adt.rs`.
2022-03-11 13:31:24 +11:00
Michael Goulet
ee98dc8b3b
restore spans for issue-50480
2022-02-24 08:40:59 -08:00
Michael Goulet
8ba74369c2
better ObligationCause for normalization errors in can_type_implement_copy
2022-02-24 08:30:38 -08:00
Sylvan Bowdler
dd5717a6d6
Remove in_band_lifetimes from rustc_trait_selection
2021-12-15 21:52:30 +00:00
bstrie
ce1143e94d
impl Copy/Clone for arrays in std, not in compiler
2021-11-08 13:11:58 -05:00
Bastian Kauschke
2bf93bd852
compiler: fold by value
2020-11-16 22:34:57 +01:00
LeSeulArtichaut
3e14b684dd
Change ty.kind to a method
2020-09-04 17:47:51 +02:00
mark
9e5f7d5631
mv compiler to compiler/
2020-08-30 18:45:07 +03:00
