Rollup merge of #114320 - ouz-a:smir_statements, r=oli-obk

Cover statements for stable_mir

Added missing statements to stable_mir, used opaque types for few types that are only used for diagnostic.

cc rust-lang/project-stable-mir#16

r? `@oli-obk`