bors c3c5a5c5f7 Auto merge of - matthiaskrgr:rollup-90cj2vv, r=matthiaskrgr
Rollup of 4 pull requests

Successful merges:

 -  (new solver: add a separate cache for coherence)
 -  (Add FnPtr ty to SMIR)
 -  (error/E0691: include alignment in error message)
 -  (rustc_target: drop duplicate code)

r? `@ghost`
`@rustbot` modify labels: rollup
2023-07-21 16:52:21 +00:00
..
2023-07-19 09:44:40 +00:00
2023-07-19 16:37:09 +00:00
2023-07-21 11:56:49 -03:00