Matthias Krüger 39f558f8cf
Rollup merge of #113412 - spastorino:smir-types-1, r=oli-obk
Add basic types to SMIR

Still incomplete but I think this can be merged and we can keep iterating over it.

r? ``@oli-obk``
2023-07-08 15:49:47 +02:00
..
2023-05-08 14:23:19 +00:00
2023-07-07 13:47:55 -03:00