..
intrinsics
interpret: make write functions generic over the place type
2023-07-25 22:33:58 +02:00
cast.rs
Auto merge of #116010 - RalfJung:more-typed-immediates, r=oli-obk
2023-09-21 14:02:55 +00:00
discriminant.rs
try to avoid some layout_of calls
2023-09-21 07:26:16 +02:00
eval_context.rs
change is_subtype to relate_types
2023-10-02 23:39:45 +03:00
intern.rs
use AllocId instead of Allocation in ConstValue::ByRef
2023-09-14 07:26:24 +02:00
intrinsics.rs
Remove GeneratorWitness and rename GeneratorWitnessMIR.
2023-09-23 13:47:30 +00:00
machine.rs
interpret: more consistently use ImmTy in operators and casts
2023-09-20 21:57:54 +02:00
memory.rs
make it more clear which functions create fresh AllocId
2023-09-14 07:27:31 +02:00
mod.rs
interpret: make MemPlace, Place, Operand types private to the interpreter
2023-09-04 17:53:38 +02:00
operand.rs
print normalized ty
2023-10-03 12:17:27 +03:00
operator.rs
interpret: less debug-printing of types
2023-09-20 22:25:42 +02:00
place.rs
print normalized ty
2023-10-03 12:17:27 +03:00
projection.rs
Add docs, remove code, change subtyper code
2023-10-02 23:39:44 +03:00
step.rs
interpret: more consistently use ImmTy in operators and casts
2023-09-20 21:57:54 +02:00
terminator.rs
interpret: less debug-printing of types
2023-09-20 22:25:42 +02:00
traits.rs
make it more clear which functions create fresh AllocId
2023-09-14 07:27:31 +02:00
util.rs
subst -> instantiate
2023-09-26 09:37:55 +02:00
validity.rs
Remove GeneratorWitness and rename GeneratorWitnessMIR.
2023-09-23 13:47:30 +00:00
visitor.rs
interpret: fix projecting into an unsized field of a local
2023-08-30 13:43:34 +02:00