Commits

Breadcrumbs

History for

onfolder-experiment-7

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 23, 2025

• Obligation::as_goal

  compiler-errors

  committed
  575f129

  Copy full SHA for 575f129

Commits on Mar 15, 2025

• Fold visit into ty

  compiler-errors

  committed
  e5a2220

  Copy full SHA for e5a2220

• Squash fold into ty

  compiler-errors

  committed
  dc0cdfd

  Copy full SHA for dc0cdfd

Commits on Mar 5, 2025

• change definitely non-productive cycles to error

  lcnr

  committed
  01795b1

  Copy full SHA for 01795b1

Commits on Mar 1, 2025

• Rollup merge of #137776 - nnethercote:rustc_transmute-cleanups, r=jswrenn

  Show description for b6c1b63
  matthiaskrgr

  authored
  b6c1b63

  Copy full SHA for b6c1b63

Commits on Feb 28, 2025

• normalizing where-clauses is also coinductive, add tests

  lcnr

  committed
  7eb677e

  Copy full SHA for 7eb677e

• Remove `allow(unused_variables)` for `rustc_transmute`.

  Show description for 785e21d
  nnethercote

  committed
  785e21d

  Copy full SHA for 785e21d

• Remove `rustc_transmute`'s dependence on `rustc_infer`.

  Show description for 5f58985
  nnethercote

  committed
  5f58985

  Copy full SHA for 5f58985

Commits on Feb 22, 2025

• Greatly simplify lifetime captures in edition 2024

  compiler-errors

  committed
  12e3911

  Copy full SHA for 12e3911

• Fix binding mode problems

  compiler-errors

  committed
  3d5438a

  Copy full SHA for 3d5438a

Commits on Feb 19, 2025

• Make fewer crates depend on rustc_ast_ir

  compiler-errors

  committed
  b78c626

  Copy full SHA for b78c626

Commits on Feb 13, 2025

• adjust derive_error

  lcnr

  committed
  059288e

  Copy full SHA for 059288e

• normalizes-to rework rigid alias handling

  

  lcnr

  authored and

  compiler-errors

  committed
  de273e4

  Copy full SHA for de273e4

Commits on Feb 8, 2025

• Rustfmt

  bjorn3

  committed
  1fcae03

  Copy full SHA for 1fcae03

Commits on Feb 5, 2025

• Pass spans around new solver

  compiler-errors

  committed
  4e763c2

  Copy full SHA for 4e763c2

• Remove span from delegate

  compiler-errors

  committed
  fd1110c

  Copy full SHA for fd1110c

Commits on Jan 31, 2025

• Manually walk into WF obligations in BestObligation proof tree visitor

  compiler-errors

  committed
  304b3cf

  Copy full SHA for 304b3cf

• Move fulfillment error derivation into new module

  compiler-errors

  committed
  d8b176f

  Copy full SHA for d8b176f

Commits on Jan 30, 2025

• introduce `ty::Value`

  Show description for 10fc0b1
  

  Lukas Markeffsky

  and

  FedericoBruzzone

  committed
  10fc0b1

  Copy full SHA for 10fc0b1

Commits on Jan 22, 2025

• Don't pick `T: FnPtr` nested goals

  BoxyUwU

  committed
  3ef506f

  Copy full SHA for 3ef506f

Commits on Jan 15, 2025

• Rollup merge of #135498 - compiler-errors:dyn-upcasting-completeness, r=lcnr

  Show description for b1035d7
  GuillaumeGomez

  authored
  b1035d7

  Copy full SHA for b1035d7

Commits on Jan 14, 2025

• Make sure we can produce ConstArgHasWrongType errors for valtree consts

  compiler-errors

  committed
  516a933

  Copy full SHA for 516a933

• Prefer lower TraitUpcasting candidates

  compiler-errors

  committed
  bf545ce

  Copy full SHA for bf545ce

Commits on Jan 7, 2025

• Rollup merge of #132345 - compiler-errors:fx-diag, r=lcnr

  Show description for b642740
  jhpratt

  authored
  b642740

  Copy full SHA for b642740

Commits on Jan 6, 2025

• Rollup merge of #134771 - compiler-errors:const-arg-has-type-err, r=lcnr

  Show description for 44c6e83
  matthiaskrgr

  authored
  44c6e83

  Copy full SHA for 44c6e83

• Recurse on GAT where clauses in fulfillment error proof tree visitor

  compiler-errors

  committed
  ebdf19a

  Copy full SHA for ebdf19a

• Add derived causes for host effect predicates

  compiler-errors

  committed
  2be9ffc

  Copy full SHA for 2be9ffc

Commits on Jan 3, 2025

• Also in the new solver

  compiler-errors

  committed
  7143ef6

  Copy full SHA for 7143ef6

Commits on Dec 25, 2024

• Report correct SelectionError for ConstArgHasType in new solver fulfill

  compiler-errors

  committed
  5922599

  Copy full SHA for 5922599

Commits on Dec 20, 2024

• remove non-borrowck member constraints

  lcnr

  committed
  9792cf0

  Copy full SHA for 9792cf0

Commits on Dec 2, 2024

• Assert that obligations are empty before deeply normalizing

  compiler-errors

  committed
  398fd90

  Copy full SHA for 398fd90

Commits on Nov 28, 2024

• support revealing defined opaque post borrowck

  lcnr

  committed
  34a8c2d

  Copy full SHA for 34a8c2d

Commits on Nov 26, 2024

• do not constrain infer vars in `find_best_leaf_obligation`

  lcnr

  committed
  d25ecfd

  Copy full SHA for d25ecfd

Commits on Nov 23, 2024

• Auto merge of #133242 - lcnr:questionable-uwu, r=compiler-errors,BoxyUwU

  Show description for 386a7c7
  bors

  committed
  386a7c7

  Copy full SHA for 386a7c7

• no more Reveal :(

  lcnr

  committed
  319843d

  Copy full SHA for 319843d

Pagination

Previous

Next