Commits on Mar 21, 2024

1. Provide structured suggestion for unconstrained generic constant …

   ```
   error: unconstrained generic constant
     --> $DIR/const-argument-if-length.rs:18:10
      |
   LL |     pad: [u8; is_zst::<T>()],
      |          ^^^^^^^^^^^^^^^^^^^
      |
   help: try adding a `where` bound
      |
   LL | pub struct AtLeastByte<T: ?Sized> where [(); is_zst::<T>()]: {
      |                                   ++++++++++++++++++++++++++
   ```
   
   Detect when the constant expression isn't `usize` and suggest casting:
   
   ```
   error: unconstrained generic constant
    --> f300.rs:6:10
     |
   6 |     bb::<{!N}>();
     |          ^^^^
   -Ztrack-diagnostics: created at compiler/rustc_trait_selection/src/traits/error_reporting/type_err_ctxt_ext.rs:3539:36
     |
   help: try adding a `where` bound
     |
   5 | fn b<const N: bool>() where [(); {!N} as usize]: {
     |                       ++++++++++++++++++++++++++
   ```
   
   Fix rust-lang#122395.

   

   estebank committed Mar 21, 2024
   Copy the full SHA

   6b24fdf View commit details

   Browse the repository at this point in the history