about summary refs log tree commit diff
path: root/compiler/stable_mir/src/ty.rs
AgeCommit message (Expand)AuthorLines
2023-12-18Add function ABI and type layout to StableMIRCelina G. Val-0/+6
2023-12-15Add a method to check if type is a CStrCelina G. Val-0/+6
2023-12-14Address PR commentsCelina G. Val-4/+8
2023-12-13Add spread arg and missing CoroutineKindCelina G. Val-3/+7
2023-12-11Remove scalar fn and tighten the BiOp Ty assertionsCelina G. Val-19/+1
2023-12-11Fix doc commentCelina G. Val-1/+1
2023-12-11Fix BinOp ty assertion and `fn_sig` for closuresCelina G. Val-2/+137
2023-12-07Add tests to allocation methods and fix is_null()Celina G. Val-1/+5
2023-12-07Add instance evaluation and methods to read allocCelina G. Val-4/+96
2023-12-06Add sanity check to `BinOp::ty()`Celina G. Val-0/+13
2023-12-06Add method to get type of an Rvalue in StableMIRCelina G. Val-0/+48
2023-12-05Change ty_with_args to return Ty instead of ResultCelina G. Val-2/+7
2023-12-04Add FieldDef to StableMIR and methods to get typeCelina G. Val-1/+41
2023-12-04Add Variant and a few more APIs to stable_mirCelina G. Val-0/+71
2023-12-01Add more information to stable InstanceCelina G. Val-3/+35
2023-11-24Rollup merge of #118215 - celinval:smir-def-paths, r=ouz-aMichael Goulet-28/+45
2023-11-22Auto merge of #118120 - compiler-errors:closure-kind, r=lcnrbors-1/+0
2023-11-22Add CrateDef trait and methods to get def namesCelina G. Val-28/+45
2023-11-21Add support to global allocation to stable-mirCelina G. Val-1/+2
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-1/+1
2023-11-21Remove ClosureKind predicate kindMichael Goulet-1/+0
2023-11-20Add place.ty() and Ty build from a kind to smirCelina G. Val-1/+76
2023-11-16Add more APIs and fix `Instance::body`Celina G. Val-2/+147
2023-11-15Auto merge of #117908 - lcnr:region-kind-rename, r=BoxyUwUbors-2/+2
2023-11-14finish `RegionKind` renamelcnr-2/+2
2023-11-14Auto merge of #117787 - ouz-a:smir_coroutinewitness, r=celinvalbors-0/+4
2023-11-13rename `ReLateBound` to `ReBound`lcnr-1/+1
2023-11-10add CoroutineWitness to covered typesOğuz Ağcayazı-0/+4
2023-10-30Add a stable MIR visitorCelina G. Val-46/+46
2023-10-26Specialize ZeroSized constantsCelina G. Val-0/+3
2023-10-24Use IndexMap for handling stable TyCelina G. Val-19/+18
2023-10-24Remove fold code and add Const::internal()Celina G. Val-7/+35
2023-10-21Rollup merge of #116964 - celinval:smir-mono-body, r=oli-obkMatthias Krüger-0/+1
2023-10-20s/Generator/Coroutine/Oli Scherer-2/+2
2023-10-20Remove obsolete commentCelina G. Val-1/+0
2023-10-19Add stable Instance::body() and RustcInternal traitCelina G. Val-0/+2
2023-10-13change fn name, return loc info, local nameOğuz Ağcayazı-3/+4
2023-10-11implement get_filename/lines for spanOğuz Ağcayazı-1/+22
2023-10-10add new wrapper for FxIndexMapOğuz Ağcayazı-1/+16
2023-09-28remove un-needed variantsouz-a-13/+0
2023-09-28fix importsouz-a-1/+1
2023-09-28make reg public and add visit, foldouz-a-1/+8
2023-09-28add stable for RegionKindouz-a-1/+1
2023-09-28add RegionDefouz-a-3/+6
2023-09-28make region struct and add neccesasry typesouz-a-2/+47
2023-09-25Split out the stable part of smir into its own crate to prevent accidental us...Oli Scherer-0/+525