bors bd04658eb6 Auto merge of #99743 - compiler-errors:fulfillment-context-cleanups, r=jackh726 ... Some `FulfillmentContext`-related cleanups Use `ObligationCtxt` in some places, remove some `FulfillmentContext`s in others... r? types		2022-08-06 06:48:15 +00:00
..
const_eval	Add bound_impl_subject and bound_return_ty	2022-08-03 01:02:46 -04:00
interpret	Rollup merge of #100003 - nnethercote:improve-size-assertions, r=lqd	2022-08-01 16:49:33 +02:00
transform	Add traits::fully_solve_obligation that acts like traits::fully_normalize	2022-08-04 13:50:56 +00:00
util	Auto merge of #100064 - RalfJung:disaligned, r=petrochenkov	2022-08-03 16:09:56 +00:00
errors.rs	Migrate MutDeref, TransientMutBorrow diagnostics	2022-07-08 03:48:10 +00:00
lib.rs	Auto merge of #99033 - 5225225:interpreter-validity-checks, r=oli-obk	2022-07-17 19:28:01 +00:00
might_permit_raw_init.rs	Use constant eval to do strict validity checks	2022-07-14 22:55:17 +01:00