Code

Sized Hierarchy: Part I#137944

Code

Open

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

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

Commits

Commits on May 15, 2025

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

  Show description for a531887
  davidtwco

  committed
  a531887

  Copy full SHA for a531887

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

  Show description for 7526cdf
  davidtwco

  committed
  7526cdf

  Copy full SHA for 7526cdf

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

  Show description for 615d473
  davidtwco

  committed
  615d473

  Copy full SHA for 615d473

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

  Show description for 3bfad1d
  davidtwco

  committed
  3bfad1d

  Copy full SHA for 3bfad1d

• library/compiler: add `PointeeSized` bounds

  Show description for 14d8142
  davidtwco

  committed
  14d8142

  Copy full SHA for 14d8142

• lint: don't consider sizedness in upcastable lint

  Show description for 7a37b9b
  davidtwco

  committed
  7a37b9b

  Copy full SHA for 7a37b9b

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

  Show description for 3e81602
  davidtwco

  committed
  3e81602

  Copy full SHA for 3e81602

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

  Show description for e472d1f
  davidtwco

  committed
  e472d1f

  Copy full SHA for e472d1f

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

  Show description for 9ebe8b9
  davidtwco

  committed
  9ebe8b9

  Copy full SHA for 9ebe8b9

• trait_sel: `MetaSized` bounds in dispatchable check

  Show description for 8bd975c
  davidtwco

  committed
  8bd975c

  Copy full SHA for 8bd975c

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

  Show description for 8a98b7b
  davidtwco

  committed
  8a98b7b

  Copy full SHA for 8a98b7b

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

  Show description for d418de3
  davidtwco

  committed
  d418de3

  Copy full SHA for d418de3

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

  Show description for d822f60
  davidtwco

  committed
  d822f60

  Copy full SHA for d822f60

• tests: `PointeeSized` bounds with extern types

  Show description for 2eea5ec
  davidtwco

  committed
  2eea5ec

  Copy full SHA for 2eea5ec

• tests: update tests with unconstrained parameters

  Show description for a4a7ef9
  davidtwco

  committed
  a4a7ef9

  Copy full SHA for a4a7ef9

• tests: unconstrain params in `non_lifetime_binders`

  Show description for 9ab618b
  davidtwco

  committed
  9ab618b

  Copy full SHA for 9ab618b

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

  Show description for 2008704
  davidtwco

  committed
  2008704

  Copy full SHA for 2008704

• tests: add ice test for generic-const-exprs

  davidtwco

  committed
  17ddbb6

  Copy full SHA for 17ddbb6

• tests: add overflow test

  Show description for 219217f
  davidtwco

  committed
  219217f

  Copy full SHA for 219217f

• tests: bless remaining tests

  Show description for cc85281
  davidtwco

  committed
  cc85281

  Copy full SHA for cc85281

• trait_sel: extend fast path with sized hierarchy

  Show description for 95c96e1
  davidtwco

  committed
  95c96e1

  Copy full SHA for 95c96e1

• trait_sel: skip elaboration of sizedness supertrait

  Show description for c3c8bdd
  davidtwco

  committed
  c3c8bdd

  Copy full SHA for c3c8bdd

• trait_sel: skip `nominal_obligations` for `Sized`

  Show description for 55c66e7
  davidtwco

  committed
  55c66e7

  Copy full SHA for 55c66e7

• rustdoc: skip `MetaSized` bounds

  Show description for 3aeee8d
  davidtwco

  committed
  3aeee8d

  Copy full SHA for 3aeee8d

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

  Show description for 8a48448
  davidtwco

  committed
  8a48448

  Copy full SHA for 8a48448

• rustdoc: `PointeeSized` bounds with extern types

  Show description for 1fb49b6
  davidtwco

  committed
  1fb49b6

  Copy full SHA for 1fb49b6

• bootstrap: address lint failures

  Show description for 0baa585
  davidtwco

  committed
  0baa585

  Copy full SHA for 0baa585

• clippy: add `MetaSized` conditions

  Show description for 50e592c
  davidtwco

  committed
  50e592c

  Copy full SHA for 50e592c

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

  Show description for 97d6367
  davidtwco

  committed
  97d6367

  Copy full SHA for 97d6367

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

  Show description for 100cbc0
  davidtwco

  committed
  100cbc0

  Copy full SHA for 100cbc0

• miri: fix build

  Show description for 597f0f1
  davidtwco

  committed
  597f0f1

  Copy full SHA for 597f0f1

• miri: bless tests

  Show description for ae31e50
  davidtwco

  committed
  ae31e50

  Copy full SHA for ae31e50