Code

Fix leaking bounds#24

Code

Merged

magiclen merged 22 commits intomagiclen:mastermagiclen/educe:masterfrom ijackson:leaking-boundsijackson/rust-educe:leaking-boundsCopy head branch name to clipboardJun 1, 2024

+572-352

Commits

Commits on Feb 20, 2024

• Debug impl: pass whole ast to create_format_arg

  Show description for bbafa6f
  ijackson

  committed
  bbafa6f

• Debug impl: Fix generated code for explicit methods

  Show description for e224ad8
  ijackson

  committed
  e224ad8

• Default bounds: Use precisely the right bounds, from the fields

  Show description for dea0d33
  ijackson

  committed
  dea0d33

• Debug: Demonstrate generic type bounds in a test

  ijackson

  committed
  b2a99a7

• Generic bounds: Handle supertraits

  Show description for 610b6ad
  ijackson

  committed
  610b6ad

• Tests: Demonstrate supertraits when educing PartialOrd

  ijackson

  committed
  eb28c48

• Tests: Demonstrate supertraits when educing Ord

  ijackson

  committed
  69f4c1c

• Eq: Fix bounds

  Show description for 7690e47
  ijackson

  committed
  7690e47

• Eq: Fix bounds (rustfmt)

  ijackson

  committed
  2e47d8b

• Eq: Demonstrate precise bounds in a test

  ijackson

  committed
  725dae8

• Copy: Fix bounds

  Show description for b18f14f
  ijackson

  committed
  b18f14f

• Copy: Fix bounds (rustfmt)

  ijackson

  committed
  9a29080

• Copy, Clone: Demonstrate precise bounds in tests

  ijackson

  committed
  1daf893

• Clone of unions: Fix bounds

  Show description for 1a09812
  ijackson

  committed
  1a09812

• Abolish find_idents_*

  Show description for f3a3cb5
  ijackson

  committed
  f3a3cb5

• Abolish into_where_predicates_by_generic_parameters

  Show description for ecaf0f2
  ijackson

  committed
  ecaf0f2

• Ord: Fix build when PartialOrd is not enabled

  ijackson

  committed
  7b9a95c

• Ord: Fix build when PartialOrd is not enabled (rustfmt)

  ijackson

  committed
  4b07ecb

Commits on Feb 26, 2024

• Fix leaking trait bounds

  Show description for a3965f1
  ijackson

  committed
  a3965f1

• Don't pass &mut DeriveInput to anyone

  Show description for 6fdeb47
  ijackson

  committed
  6fdeb47

• Add test case for leaking trait bounds

  Show description for 988e5a6
  ijackson

  committed
  988e5a6

• fixup! Add test case for leaking trait bounds

  ijackson

  committed
  166370f