Matthias Krüger
940ff24ec0
Rollup merge of #126567 - compiler-errors:instance-kind, r=oli-obk,lcnr
...
Rename `InstanceDef` -> `InstanceKind`
Renames `InstanceDef` to `InstanceKind`. The `Def` here is confusing, and makes it hard to distinguish `Instance` and `InstanceDef`. `InstanceKind` makes this more obvious, since it's really just describing what *kind* of instance we have.
Not sure if this is large enough to warrant a types team MCP -- it's only 53 files. I don't personally think it does, but happy to write one if anyone disagrees. cc ``@rust-lang/types``
r? types
2024-06-17 20:34:51 +02:00
..
2024-05-02 19:48:29 +02:00
2024-06-12 15:49:10 +10:00
2024-06-12 15:49:10 +10:00
2024-06-12 15:49:10 +10:00
2024-06-12 15:49:10 +10:00
2024-06-12 15:49:10 +10:00
2024-06-12 15:49:10 +10:00
2024-06-12 15:49:10 +10:00
2024-06-12 15:49:10 +10:00
2024-06-12 15:49:10 +10:00
2024-06-17 20:34:51 +02:00
2024-06-12 15:49:10 +10:00
2024-06-16 21:35:21 -04:00
2024-06-10 13:43:16 +02:00
2024-06-16 21:14:41 +01:00
2024-06-16 21:35:21 -04:00
2024-06-17 20:34:51 +02:00
2024-06-16 12:56:50 +00:00
2024-06-12 15:49:10 +10:00
2024-06-12 15:49:10 +10:00
2024-06-12 11:10:50 +00:00
2024-06-12 15:49:10 +10:00
2024-05-27 08:44:12 +00:00
2024-06-15 14:40:47 +02:00
2024-06-14 16:41:39 +00:00
2024-06-12 15:49:10 +10:00
2024-06-12 15:49:10 +10:00
2024-06-12 15:49:10 +10:00
2024-06-14 12:23:36 +02:00
2024-06-15 14:40:48 +02:00
2024-06-12 15:49:10 +10:00
2024-06-17 10:57:52 +00:00
2024-06-12 15:49:10 +10:00
2024-06-12 15:49:10 +10:00
2024-06-16 14:08:25 +03:00
2024-06-16 14:08:25 +03:00
2024-06-16 21:35:21 -04:00
2024-06-12 15:49:10 +10:00
2024-06-17 04:53:54 +01:00
2024-06-14 11:05:35 -04:00
2024-06-12 13:43:31 +00:00
2024-06-12 10:11:41 +00:00
2024-06-12 15:49:10 +10:00
2024-06-16 21:35:21 -04:00
2024-06-17 20:34:51 +02:00
2024-06-15 10:56:40 +02:00
2024-06-14 16:54:29 -04:00
2024-06-17 20:34:51 +02:00
2024-06-16 21:35:21 -04:00
2024-06-16 11:28:47 -04:00
2024-06-12 15:49:10 +10:00
2024-06-12 15:49:10 +10:00
2024-06-13 22:55:45 +02:00
2024-06-12 15:49:10 +10:00
2024-06-17 10:09:27 +00:00
2024-06-12 15:49:10 +10:00
2024-06-12 15:49:10 +10:00
2024-06-17 15:43:32 +02:00
2024-06-16 21:35:21 -04:00
2024-06-12 15:49:10 +10:00
2024-06-12 15:49:10 +10:00
2024-06-16 21:35:21 -04:00
2024-06-16 23:34:12 +00:00
2024-06-16 21:35:21 -04:00
2024-06-16 12:56:48 +00:00
2024-06-16 11:28:47 -04:00
2024-06-12 15:49:10 +10:00
2024-06-13 01:38:51 +00:00
2024-06-16 21:35:21 -04:00
2024-06-16 11:28:47 -04:00
2024-05-11 18:20:00 -04:00
2024-06-15 19:51:35 +02:00