Code

Sized Hierarchy: Part I#137944

Code

Open

davidtwco wants to merge 31 commits intorust-lang:masterrust-lang/rust:masterfrom

davidtwco:sized-hierarchydavidtwco/rust:sized-hierarchyCopy head branch name to clipboard

Commits

Commits on Jun 4, 2025

• trait_sel: `{Meta,Pointee}Sized` on `Sized` types

  Show description for 994cd1b
  davidtwco

  committed
  994cd1b

  Copy full SHA for 994cd1b

• trait_sel: `{Meta,Pointee}Sized` on `?Sized` types

  Show description for afb4959
  davidtwco

  committed
  afb4959

  Copy full SHA for afb4959

• aux: add `{Meta,Pointee}Sized` to minicore

  Show description for 5be2d3e
  davidtwco

  committed
  5be2d3e

  Copy full SHA for 5be2d3e

• tests: `{Meta,Pointee}Sized` in non-minicore tests

  Show description for 8ae40c3
  davidtwco

  committed
  8ae40c3

  Copy full SHA for 8ae40c3

• library/compiler: add `PointeeSized` bounds

  Show description for 50cf9c1
  davidtwco

  committed
  50cf9c1

  Copy full SHA for 50cf9c1

• lint: don't consider sizedness in upcastable lint

  Show description for 861882f
  davidtwco

  committed
  861882f

  Copy full SHA for 861882f

• hir_analysis: add `{Meta,Pointee}Sized` bounds

  Show description for 2fc4f33
  davidtwco

  committed
  2fc4f33

  Copy full SHA for 2fc4f33

• aux: add `{Meta,Pointee}Sized` bounds to minicore

  Show description for a3127a4
  davidtwco

  committed
  a3127a4

  Copy full SHA for a3127a4

• trait_sel: stash `{Meta,Pointee}Sized` errors

  Show description for df5fcf3
  davidtwco

  committed
  df5fcf3

  Copy full SHA for df5fcf3

• trait_sel: `MetaSized` bounds in dispatchable check

  Show description for 698be5f
  davidtwco

  committed
  698be5f

  Copy full SHA for 698be5f

• trait_sel: sort `{Meta,Pointee}Sized` diagnostics last

  Show description for 0f2ac3f
  davidtwco

  committed
  0f2ac3f

  Copy full SHA for 0f2ac3f

• trait_sel: print `{Meta,Pointee}Sized` impl headers

  Show description for 51a2742
  davidtwco

  committed
  51a2742

  Copy full SHA for 51a2742

• middle: print `{Meta,Pointee}Sized` in opaques

  Show description for ff1b0d9
  davidtwco

  committed
  ff1b0d9

  Copy full SHA for ff1b0d9

• tests: `PointeeSized` bounds with extern types

  Show description for f12818a
  davidtwco

  committed
  f12818a

  Copy full SHA for f12818a

• tests: update tests with unconstrained parameters

  Show description for f81a448
  davidtwco

  committed
  f81a448

  Copy full SHA for f81a448

• tests: unconstrain params in `non_lifetime_binders`

  Show description for 474710f
  davidtwco

  committed
  474710f

  Copy full SHA for 474710f

• tests: move `crashes/79409.rs` to ui suite

  Show description for e74a56a
  davidtwco

  committed
  e74a56a

  Copy full SHA for e74a56a

• tests: add overflow test

  Show description for adf9892
  davidtwco

  committed
  adf9892

  Copy full SHA for adf9892

• tests: bless remaining tests

  Show description for 6274321
  davidtwco

  committed
  6274321

  Copy full SHA for 6274321

• trait_sel: extend fast path with sized hierarchy

  Show description for 1b1a4f8
  davidtwco

  committed
  1b1a4f8

  Copy full SHA for 1b1a4f8

• trait_sel: skip elaboration of sizedness supertrait

  Show description for 5096c1c
  davidtwco

  committed
  5096c1c

  Copy full SHA for 5096c1c

• trait_sel: skip `nominal_obligations` for `Sized`

  Show description for c1cd9af
  davidtwco

  committed
  c1cd9af

  Copy full SHA for c1cd9af

• rustdoc: skip `MetaSized` bounds

  Show description for 1015b38
  davidtwco

  committed
  1015b38

  Copy full SHA for 1015b38

• rustdoc: `{Meta,Pointee,}Sized` in non-minicore

  Show description for 3d95e5f
  davidtwco

  committed
  3d95e5f

  Copy full SHA for 3d95e5f

• rustdoc: `PointeeSized` bounds with extern types

  Show description for d9420e8
  davidtwco

  committed
  d9420e8

  Copy full SHA for d9420e8

• bootstrap: address lint failures

  Show description for 5055006
  davidtwco

  committed
  5055006

  Copy full SHA for 5055006

• clippy: add `MetaSized` conditions

  Show description for 548fbcf
  davidtwco

  committed
  548fbcf

  Copy full SHA for 548fbcf

• clippy: `{Meta,Pointee,}Sized` in non-minicore

  Show description for 26bc5f9
  davidtwco

  committed
  26bc5f9

  Copy full SHA for 26bc5f9

• cranelift/gcc: `{Meta,Pointee,}Sized` in minicore

  Show description for 5b84d8f
  davidtwco

  committed
  5b84d8f

  Copy full SHA for 5b84d8f

• miri: fix build

  Show description for ef40aa4
  davidtwco

  committed
  ef40aa4

  Copy full SHA for ef40aa4

• miri: bless tests

  Show description for c8d6c71
  davidtwco

  committed
  c8d6c71

  Copy full SHA for c8d6c71