Commits on Apr 15, 2023

1. Update toolchain to 2023-02-16 …

   Skip over all the nightlies from 2023-02-06 until 2023-02-15 as those
   ICE when trying to build kani with:
   ```
   error: internal compiler error: cannot relate constants (Const { ty: fn() -> usize {std::mem::size_of::<[T; N]>}, kind: Value(Branch([])) }, Const { ty: fn() -> usize {std::mem::size_of::<[T; _]>}, kind: Value(Branch([])) }) of different types: fn() -> usize {std::mem::size_of::<[T; N]>} != fn() -> usize {std::mem::size_of::<[T; _]>}
   ```
   
   This issue was reported upstream as
   rust-lang/rust#107898, and fixed in
   rust-lang/rust#107940, which isn't part of any
   of the above nightlies.
   
   Doing this multi-day update also requires addressing:
   
   Remove some superfluous type parameters from layout.rs rust-lang/rust#107163
   Introduce -Zterminal-urls to use OSC8 for error codes rust-lang/rust#107838
   s/eval_usize/eval_target_usize/ for clarity rust-lang/rust#108029
   
   Co-authored-by: Qinheping Hu <[email protected]>

   

   tautschnig and qinheping committed Apr 15, 2023
   Configuration menu

   • View commit details
   • Copy full SHA for a7bba69
   • Browse repository at this point

   Copy the full SHA

   a7bba69 View commit details

   Browse the repository at this point in the history