Code

Add ConstParamTy trait#108161

Code

Merged

bors merged 17 commits intorust-lang:masterrust-lang/rust:masterfrom WaffleLapkin:const_param_tyWaffleLapkin/rust:const_param_tyCopy head branch name to clipboardMay 2, 2023

+673-179

Commits

Commits on Apr 27, 2023

• Implement StructuralEq for integers, bool and char

  Show description for 518d348
  WaffleLapkin

  committed
  518d348

  Copy full SHA for 518d348

• Add a ConstParamTy trait

  WaffleLapkin

  committed
  9a716da

  Copy full SHA for 9a716da

• derive(Eq) in a test

  WaffleLapkin

  committed
  c8844e1

  Copy full SHA for c8844e1

• Remove feature(const_param_ty_trait), use adt_const_params instead

  WaffleLapkin

  committed
  81a2b85

  Copy full SHA for 81a2b85

• Rename/move a test

  WaffleLapkin

  committed
  c45c4f2

  Copy full SHA for c45c4f2

• Check the correct trait when checking ConstParamTy impls

  WaffleLapkin

  committed
  1c54410

  Copy full SHA for 1c54410

• Add !StructuralEq test for ConstParamTy

  WaffleLapkin

  committed
  7234d63

  Copy full SHA for 7234d63

• Add a macro to conveniently implement marker traits

  WaffleLapkin

  committed
  2205c3f

  Copy full SHA for 2205c3f

• Impl StructuralEq & ConstParamTy for str, &T, [T; N] and [T]

  WaffleLapkin

  committed
  1bf6bbb

  Copy full SHA for 1bf6bbb

• Add FIXMEs

  WaffleLapkin

  committed
  2c5e716

  Copy full SHA for 2c5e716

• Add a test for [NotParam; 0]: ConstParamTy (not holding)

  WaffleLapkin

  committed
  51355ad

  Copy full SHA for 51355ad

• Fix some marker impls

  WaffleLapkin

  committed
  bdb5502

  Copy full SHA for bdb5502

• Add ConstParamTy tests

  WaffleLapkin

  committed
  26417a8

  Copy full SHA for 26417a8

• Fix compile test so it normalizes (un)expected error messages

  WaffleLapkin

  committed
  2f70d02

  Copy full SHA for 2f70d02

• --bless ConstParamTy ui tests

  WaffleLapkin

  committed
  1f44a24

  Copy full SHA for 1f44a24

Commits on Apr 28, 2023

• fixup tests wrt new normalization

  WaffleLapkin

  committed
  182eee2

  Copy full SHA for 182eee2

Commits on May 1, 2023

• Fix StructuralEq impls for &T, [T] and [T; N]

  Show description for c317546
  WaffleLapkin

  committed
  c317546

  Copy full SHA for c317546