Michael Goulet
96cb18e864
Combine identical alias arms
2022-12-13 17:48:55 +00:00
Michael Goulet
61adaf8187
Combine projection and opaque into alias
2022-12-13 17:48:55 +00:00
Maybe Waffle
a17ccfa621
Accept TyCtxt instead of TyCtxtAt in Ty::is_* functions
...
Functions in answer:
- `Ty::is_freeze`
- `Ty::is_sized`
- `Ty::is_unpin`
- `Ty::is_copy_modulo_regions`
2022-10-27 15:06:08 +04:00
Oli Scherer
f632dbe46f
The <*const T>::guaranteed_* methods now return an option for the unknown case
2022-09-09 15:16:04 +00:00
Oli Scherer
1fc9ef1edd
tracing::instrument cleanup
2022-09-01 14:54:27 +00:00
Ralf Jung
30fa931f92
make read_immediate error immediately on uninit, so ImmTy can carry initialized Scalar
2022-08-26 13:20:57 -04:00
Ralf Jung
c4cb043f06
interpret/visitor: support visiting with a PlaceTy
2022-07-15 11:54:20 -04:00
Ralf Jung
4e7aaf1f44
tweak names and output and bless
2022-07-09 07:43:56 -04:00
Ralf Jung
ac265cdc19
review feedback
2022-07-09 07:27:29 -04:00
Ralf Jung
a422b42159
don't allow ZST in ScalarInt
...
There are several indications that we should not ZST as a ScalarInt:
- We had two ways to have ZST valtrees, either an empty `Branch` or a `Leaf` with a ZST in it.
`ValTree::zst()` used the former, but the latter could possibly arise as well.
- Likewise, the interpreter had `Immediate::Uninit` and `Immediate::Scalar(Scalar::ZST)`.
- LLVM codegen already had to special-case ZST ScalarInt.
So instead add new ZST variants to those types that did not have other variants
which could be used for this purpose.
2022-07-09 07:27:29 -04:00
Ralf Jung
f60ec83779
interpret: add From<&MplaceTy> for PlaceTy
2022-06-29 17:13:13 -04:00
b-naber
8093db6e2b
correctly create Scalar for meta info
2022-06-14 16:11:36 +02:00
b-naber
dbef6e4507
address review
2022-06-14 16:08:18 +02:00
b-naber
705d818bd5
implement valtrees as the type-system representation for constant values
2022-06-14 16:07:11 +02:00
b-naber
96b36d6eb2
use GlobalId in eval_to_valtree query and introduce query for valtree_to_const_val
2022-05-16 15:58:15 +02:00
klensy
7f318256c9
fix clippy expect_fun_call
2022-05-12 19:26:52 +03:00
b-naber
ef5f07256c
combine all unsized types and add another recursive call to process nested unsized types correctly
2022-04-27 16:58:16 +02:00
b-naber
bfefb4d74c
account for custom DSTs in valtree -> constvalue conversion
2022-04-26 18:40:15 +02:00
b-naber
f7eae4e580
include valtree creation and valtree -> constvalue conversion in debug assertions check
2022-04-24 10:59:21 +02:00
b-naber
bc698c73e9
deduplicate a lot of code
2022-04-21 23:11:06 +02:00
b-naber
1157dc7167
implement valtree -> constvalue conversion
2022-04-21 15:53:26 +02:00
