Commits

Commits on Sep 27, 2024

Cleanup some known-bug issues
jackh726
committedSep 27, 2024

Commits on Jan 18, 2024

Don't use compat versions of implied bounds in ImpliedOutlivesBounds query
jackh726
committedJan 18, 2024
Add -Zno-implied-bounds-compat option and use it
jackh726
committedJan 18, 2024

Commits on Nov 5, 2023

Remove from vacation and compiler review group
jackh726
committedNov 5, 2023

Commits on Sep 24, 2023

Try to use approximate placeholder regions when outputting an AscribeUserType error in borrowck
jackh726
committedSep 24, 2023

Commits on Sep 17, 2023

Add me as on vacation
jackh726
committedSep 17, 2023

Commits on Aug 21, 2023

Add projection obligations when comparing impl too
jackh726
committedAug 21, 2023

Commits on Aug 12, 2023

Only check outlives goals on impl compared to trait
jackh726
committedAug 12, 2023

Commits on Apr 7, 2023

Remove u32 on BoundTyKind::Anon
jackh726
committedApr 7, 2023
Remove index from BrAnon
jackh726
committedApr 7, 2023
Don't use BrAnon index in diagnostics
jackh726
committedApr 7, 2023
Remove expect_anon and expect_anon_placeholder in favor of var
jackh726
committedApr 7, 2023
Use BoundTy and BoundRegion instead of kind of PlaceholderTy and PlaceholderRegion
jackh726
committedApr 7, 2023

Commits on Feb 10, 2023

Update implied_outlives_bounds to properly register implied bounds behind normalization
jackh726
committedFeb 10, 2023
Cleanup free_region_relations a bit
jackh726
committedFeb 10, 2023

Commits on Nov 13, 2022

Add a few known-bug tests
jackh726
committedNov 13, 2022

Commits on Nov 7, 2022

Commits on Oct 23, 2022

Cleanup message and bless tests
jackh726
committedOct 23, 2022
Apply suggestions from code review

jackh726
and
estebank
committedOct 23, 2022

Commits on Sep 17, 2022

Use Predicate ConstraintCategory when normalizing
jackh726
committedSep 17, 2022
Add back in normalize call
jackh726
committedSep 17, 2022

Commits on Sep 16, 2022

Final bits
jackh726
committedSep 16, 2022
Add ExtraConstraintInfo
jackh726
committedSep 16, 2022
Add AscribeUserTypeProvePredicate
jackh726
committedSep 16, 2022
Add outlives_constraint to BlameConstraint
jackh726
committedSep 16, 2022
Add to_constraint_category to ObligationCause and SubregionOrigin
jackh726
committedSep 16, 2022
Pass ConstraintCategory thorough a few more places
jackh726
committedSep 16, 2022
Make QueryOutlivesConstraint contain a ConstraintCategory
jackh726
committedSep 16, 2022
Add test for rust-lang#101844
jackh726
committedSep 16, 2022
Revert "Better errors for implied static bound"
jackh726
committedSep 16, 2022
Revert "Use Predicate ConstraintCategory when normalizing"
jackh726
committedSep 16, 2022

Commits on Sep 14, 2022

Disallow defaults on type GATs
jackh726
committedSep 14, 2022
Use Predicate ConstraintCategory when normalizing
jackh726
committedSep 14, 2022