Code

Sized Hierarchy#137944

Code

Open

davidtwco wants to merge 41 commits intorust-lang:masterrust-lang/rust:masterfrom davidtwco:sized-hierarchydavidtwco/rust:sized-hierarchyCopy head branch name to clipboard

Commits

Commits on Mar 11, 2025

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

  Show description for cf07e38
  davidtwco

  committed
  cf07e38

  Copy full SHA for cf07e38

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

  Show description for e6237fc
  davidtwco

  committed
  e6237fc

  Copy full SHA for e6237fc

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

  Show description for 0d43c4c
  davidtwco

  committed
  0d43c4c

  Copy full SHA for 0d43c4c

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

  Show description for 22882de
  davidtwco

  committed
  22882de

  Copy full SHA for 22882de

• library/compiler: add PointeeSized bounds

  Show description for ecded48
  davidtwco

  committed
  ecded48

  Copy full SHA for ecded48

• hir_analysis: add {Meta,Pointee}Sized bounds

  Show description for 36fe066
  davidtwco

  committed
  36fe066

  Copy full SHA for 36fe066

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

  Show description for 5b0b6ca
  davidtwco

  committed
  5b0b6ca

  Copy full SHA for 5b0b6ca

• trait_sel: stash {Meta,Pointee}Sized errors

  Show description for 790a91e
  davidtwco

  committed
  790a91e

  Copy full SHA for 790a91e

• trait_sel: MetaSized bounds in dispatchable check

  Show description for fac80b0
  davidtwco

  committed
  fac80b0

  Copy full SHA for fac80b0

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

  Show description for ebae42c
  davidtwco

  committed
  ebae42c

  Copy full SHA for ebae42c

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

  Show description for 37d40c7
  davidtwco

  committed
  37d40c7

  Copy full SHA for 37d40c7

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

  Show description for 4ad35a8
  davidtwco

  committed
  4ad35a8

  Copy full SHA for 4ad35a8

• tests: PointeeSized bounds with extern types

  Show description for 5cd9bec
  davidtwco

  committed
  5cd9bec

  Copy full SHA for 5cd9bec

• tests: use PointeeSized to re-unconstrain params

  Show description for 6eb67eb
  davidtwco

  committed
  6eb67eb

  Copy full SHA for 6eb67eb

• tests: unconstrain params in non_lifetime_binders

  Show description for cd5ea9c
  davidtwco

  committed
  cd5ea9c

  Copy full SHA for cd5ea9c

• tests: bless remaining tests

  Show description for 907ffd0
  davidtwco

  committed
  907ffd0

  Copy full SHA for 907ffd0

• feature/passes: add rustc_non_const_sized

  Show description for 26fb5ab
  davidtwco

  committed
  26fb5ab

  Copy full SHA for 26fb5ab

• library/trait_sel: make {Meta,}Sized const

  Show description for 81f6739
  davidtwco

  committed
  81f6739

  Copy full SHA for 81f6739

• aux: add const {Meta,}Sized to minicore

  Show description for 19495bf
  davidtwco

  committed
  19495bf

  Copy full SHA for 19495bf

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

  Show description for 58f4a65
  davidtwco

  committed
  58f4a65

  Copy full SHA for 58f4a65

• hir_analysis: change {Meta,}Sized bounds to const

  Show description for 7f6f36b
  davidtwco

  committed
  7f6f36b

  Copy full SHA for 7f6f36b

• hir_analysis: specialisation w/ host effect preds

  Show description for 6712f6f
  davidtwco

  committed
  6712f6f

  Copy full SHA for 6712f6f

• next_trait_solver: merge trivial builtin impls

  Show description for e5e32ac
  davidtwco

  committed
  e5e32ac

  Copy full SHA for e5e32ac

• trait_sel: re-order host effect evaluations

  Show description for 15c80f6
  davidtwco

  committed
  15c80f6

  Copy full SHA for 15c80f6

• trait_sel: const {Meta,}Sized in impl headers

  Show description for 1d7b1d7
  davidtwco

  committed
  1d7b1d7

  Copy full SHA for 1d7b1d7

• middle: const {Meta,Pointee}Sized in opaques

  Show description for 0e0841b
  davidtwco

  committed
  0e0841b

  Copy full SHA for 0e0841b

• trait_sel: remove intercrate mode assertion

  Show description for ba8cd99
  davidtwco

  committed
  ba8cd99

  Copy full SHA for ba8cd99

• tests: bless remaining tests

  Show description for 9061c89
  davidtwco

  committed
  9061c89

  Copy full SHA for 9061c89

• library: add {Pointee,Meta}Sized to next prelude

  Show description for fac657d
  davidtwco

  committed
  fac657d

  Copy full SHA for fac657d

• hir_analysis: edition migration

  Show description for 3a85235
  davidtwco

  committed
  3a85235

  Copy full SHA for 3a85235

• lint-docs: add future edition group

  Show description for 5929f34
  davidtwco

  committed
  5929f34

  Copy full SHA for 5929f34

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

  Show description for 9f0c6ea
  davidtwco

  committed
  9f0c6ea

  Copy full SHA for 9f0c6ea

• rustdoc: update no_core tests w/ new traits

  Show description for d5a5092
  davidtwco

  committed
  d5a5092

  Copy full SHA for d5a5092

• rustdoc: skip MetaSized bounds

  Show description for efb428a
  davidtwco

  committed
  efb428a

  Copy full SHA for efb428a

• clippy: update no_core tests w/ new traits

  Show description for d3e6586
  davidtwco

  committed
  d3e6586

  Copy full SHA for d3e6586

• clippy: add MetaSized conditions

  Show description for b53f1bd
  davidtwco

  committed
  b53f1bd

  Copy full SHA for b53f1bd

• bootstrap: address lint failures

  Show description for 601fc98
  davidtwco

  committed
  601fc98

  Copy full SHA for 601fc98

• miri: fix build

  Show description for 399497e
  davidtwco

  committed
  399497e

  Copy full SHA for 399497e

• miri: bless tests

  Show description for 6622800
  davidtwco

  committed
  6622800

  Copy full SHA for 6622800

• passes: propagate unstability for traits

  Show description for 7cd1fa7
  davidtwco

  committed
  7cd1fa7

  Copy full SHA for 7cd1fa7

• cranelift/gcc: add sizedness traits to minicore

  Show description for b1c4487
  davidtwco

  committed
  b1c4487

  Copy full SHA for b1c4487