Florian Diebold 340f0fc333 Ignore Drop and Destruct bounds for now
- `T: ~const Drop` has a special meaning in Rust 1.61 that we don't implement.
  (So ideally, we'd only ignore `~const Drop`, but this should be fine
  for now.)
- `Destruct` impls are built-in in 1.62 (current nightlies as of 08-04-2022), so until
  the builtin impls are supported by Chalk, we ignore them as well.
  Since `Destruct` is implemented for everything in non-const contexts
  IIUC, this should also work fine.

Fixes #11932.
2022-04-08 14:29:43 +02:00
..
2022-03-22 17:42:24 +01:00
2022-03-22 17:42:24 +01:00
2022-03-22 17:42:24 +01:00
2022-03-25 15:30:52 +01:00
2022-03-22 17:42:24 +01:00
2022-03-22 17:42:24 +01:00
2022-03-22 17:42:24 +01:00
2022-03-23 20:20:09 +00:00
2022-03-22 17:42:24 +01:00
2022-03-22 17:42:24 +01:00
2022-03-22 17:42:24 +01:00
2022-03-22 17:42:24 +01:00