bors f6ae0c11ac Auto merge of #15270 - ChristianSchott:patch-1, r=HKalbasi
Make fields of mir::Terminator public

When trying to use the RA crate, I am unable to access the fields in `hir_def::mir::Terminator`.
I don't see any reason, why these should be private, especially as the fields of `hir_def::mir::Statement` are `pub`.

I am not sure if the fields in `hir_def::mir::SwitchTargets` should be made `pub` too, but at least they are read-accessible via some public methods..

Sorry if I missed something, this is my first PR.
2023-07-13 07:54:44 +00:00
..
2023-07-06 17:33:17 +03:30
2023-07-06 17:33:17 +03:30
2023-07-06 17:33:17 +03:30
2023-06-22 11:44:10 +02:00
2023-07-03 20:34:09 +02:00
2023-06-22 11:44:10 +02:00