regression: trait bound not satisfied #103243

Activity

1. Mark-Simulacrum

   added

   T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.Relevant to the compiler team, which will review and decide on the PR/issue.

   regression-from-stable-to-betaPerformance or correctness regression from stable to beta.Performance or correctness regression from stable to beta.

   E-needs-bisectionCall for participation: This issue needs bisection: https://github.com/rust-lang/cargo-bisect-rustcCall for participation: This issue needs bisection: https://github.com/rust-lang/cargo-bisect-rustc

   on Oct 19, 2022
2. Mark-Simulacrum

   added this to the 1.65.0 milestone on Oct 19, 2022
3. rustbot

   added

   I-prioritizeIssue needs a team member to assess the impact. Will be replaced by P-{low,medium,high,critical}Issue needs a team member to assess the impact. Will be replaced by P-{low,medium,high,critical}

   on Oct 19, 2022
4. compiler-errors commented on Oct 19, 2022

   

   compiler-errors

   on Oct 19, 2022

   Contributor

   More actions

   This regressed in #98900, cc @lcnr - I may take a look at this later today.
5. compiler-errors

   removed

   E-needs-bisectionCall for participation: This issue needs bisection: https://github.com/rust-lang/cargo-bisect-rustcCall for participation: This issue needs bisection: https://github.com/rust-lang/cargo-bisect-rustc

   on Oct 19, 2022
6. compiler-errors commented on Oct 19, 2022

   

   compiler-errors

   on Oct 19, 2022

   Contributor

   More actions

   The regression in diesel-softdelete is separate and regressed in #100757 cc @ouz-a
7. compiler-errors commented on Oct 20, 2022

   

   compiler-errors

   on Oct 20, 2022

   Last edited by compiler-errors

   Contributor

   More actions

   I minimized this from path-planning:

   pub trait CSpace<const N: usize>: Sized {
       type Traj;
   }
   
   pub trait FullTrajectory<T, S1, const N: usize> {}
   
   pub struct Const<const R: usize>;
   
   pub trait Obstacle<CS, const N: usize>
   where
       CS: CSpace<N>,
   {
       fn trajectory_free<FT, S1>(&self, t: &FT)
       where
           FT: FullTrajectory<CS::Traj, S1, N>;
   }
   
   // -----
   
   const N: usize = 4;
   
   struct ObstacleSpace2df32;
   
   impl<CS> Obstacle<CS, N> for ObstacleSpace2df32
   where
       CS: CSpace<N>,
   {
       fn trajectory_free<TF, S1>(&self, t: &TF)
       where
           TF: FullTrajectory<CS::Traj, S1, N>,
       {}
   }
8. compiler-errors commented on Oct 20, 2022

   

   compiler-errors

   on Oct 20, 2022

   Contributor

   More actions

   I put up a potential fix in #103279
9. apiraino commented on Oct 20, 2022

   

   apiraino

   on Oct 20, 2022

   Contributor

   More actions

   WG-prioritization assigning priority (Zulip discussion).

   @rustbot label -I-prioritize +P-critical
10. rustbot

    added

    P-criticalCritical priorityCritical priority

    and removed

    I-prioritizeIssue needs a team member to assess the impact. Will be replaced by P-{low,medium,high,critical}Issue needs a team member to assess the impact. Will be replaced by P-{low,medium,high,critical}

    on Oct 20, 2022
11. compiler-errors

    self-assigned this

    on Oct 20, 2022
12. bors

    added a commit that references this issue on Oct 26, 2022

    Auto merge of rust-lang#103279 - compiler-errors:normalize-hack-back,…

    ...

    d49e7e7
13. compiler-errors commented on Nov 3, 2022

    

    compiler-errors

    on Nov 3, 2022

    Contributor

    More actions

    1.65 is released
14. compiler-errors

    closed this as completedon Nov 3, 2022
15. Aaron1011

    added a commit that references this issue on Jan 6, 2023

    Auto merge of rust-lang#103279 - compiler-errors:normalize-hack-back,…

    ...

    b7e1fb8