Commits

Breadcrumbs

History for

onfd80c02

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 23, 2023

• Remove GeneratorWitness and rename GeneratorWitnessMIR.

  cjgillot

  committed
  44ac8dc

  Copy full SHA for 44ac8dc

Commits on Sep 21, 2023

• review

  lcnr

  committed
  614760f

  Copy full SHA for 614760f

• proof trees: use for intercrate_ambiguity_causes

  lcnr

  committed
  de53877

  Copy full SHA for de53877

Commits on Aug 30, 2023

• Don't record spans for predicates in coherence

  compiler-errors

  committed
  4647aea

  Copy full SHA for 4647aea

Commits on Aug 15, 2023

• more nits

  compiler-errors

  committed
  0e20155

  Copy full SHA for 0e20155

• Reuse the selection context, compute failing obligations first in ambig mode

  compiler-errors

  committed
  ca49a37

  Copy full SHA for ca49a37

• Implement lint against coinductive impl overlap

  compiler-errors

  committed
  56f5704

  Copy full SHA for 56f5704

• more span info

  compiler-errors

  committed
  2ae4bed

  Copy full SHA for 2ae4bed

Commits on Aug 12, 2023

• normalize in trait_ref_is_knowable in new solver

  lcnr

  committed
  9eeaf1f

  Copy full SHA for 9eeaf1f

Commits on Jul 30, 2023

• inline format!() args up to and including rustc_codegen_llvm

  matthiaskrgr

  committed
  3ce90b1

  Copy full SHA for 3ce90b1

Commits on Jul 14, 2023

• refactor(rustc_middle): Substs -> GenericArg

  mdibaiee

  committed
  e55583c

  Copy full SHA for e55583c

Commits on Jul 13, 2023

• Re-format let-else per rustfmt update

  Mark-Simulacrum

  committed
  cc907f8

  Copy full SHA for cc907f8

Commits on Jul 4, 2023

• -Ztrait-solver=next: stop depending on old solver

  lcnr

  committed
  b468bfb

  Copy full SHA for b468bfb

Commits on Jul 3, 2023

• use deeply_normalize for assumed_wf_types

  lcnr

  committed
  5378f07

  Copy full SHA for 5378f07

Commits on Jun 26, 2023

• Migrate predicates_of and caller_bounds to Clause

  compiler-errors

  committed
  fbdef58

  Copy full SHA for fbdef58

Commits on Jun 16, 2023

• Add AliasKind::Weak for type aliases.

  Show description for f3b7dd6
  oli-obk

  committed
  f3b7dd6

  Copy full SHA for f3b7dd6

• fix: inline predicate_may_hold_fatal

  bvanjoi

  committed
  b792198

  Copy full SHA for b792198

Commits on Jun 14, 2023

• Improve docs/clean up negative overlap functions

  compiler-errors

  committed
  9e21052

  Copy full SHA for 9e21052

Commits on Jun 6, 2023

• Add -Ztrait-solver=next-coherence

  compiler-errors

  committed
  b637048

  Copy full SHA for b637048

Commits on May 30, 2023

• rework the leak_check to take the outer_universe

  Show description for a0245bb
  lcnr

  committed
  a0245bb

  Copy full SHA for a0245bb

• leak_check: remove unused codepath

  lcnr

  committed
  200ed9f

  Copy full SHA for 200ed9f

Commits on May 25, 2023

• Move DefiningAnchor

  compiler-errors

  committed
  a2d7ffc

  Copy full SHA for a2d7ffc

Commits on May 24, 2023

• Use Option::is_some_and and Result::is_ok_and in the compiler

  WaffleLapkin

  committed
  fb0f74a

  Copy full SHA for fb0f74a

Commits on May 9, 2023

• Rollup merge of #111252 - matthewjasper:min-spec-improvements, r=compiler-errors

  Show description for f748bb1
  Dylan-DPC

  authored
  f748bb1

  Copy full SHA for f748bb1

Commits on May 5, 2023

• Report nicer lifetime errors for specialization

  Show description for f46eabb
  matthewjasper

  committed
  f46eabb

  Copy full SHA for f46eabb

Commits on May 4, 2023

• IAT: Introduce AliasKind::Inherent

  fmease

  committed
  e8139df

  Copy full SHA for e8139df

Commits on Apr 27, 2023

• rename needs_subst to has_param

  BoxyUwU

  committed
  8424197

  Copy full SHA for 8424197

• rename needs_infer to has_infer

  BoxyUwU

  committed
  f04b8fe

  Copy full SHA for f04b8fe

Commits on Apr 13, 2023

• make tcx.impl_subject return EarlyBinder, remove bound_impl_subject, rename usages of bound_impl_subject to impl_subject

  kylematsuda

  committed
  e2f5a5a

  Copy full SHA for e2f5a5a

• change usage of bound_impl_subject to impl_subject

  kylematsuda

  committed
  dcc51f1

  Copy full SHA for dcc51f1

Commits on Apr 12, 2023

• region error cleanup

  Show description for a19adef
  lcnr

  committed
  a19adef

  Copy full SHA for a19adef

Commits on Apr 6, 2023

• Make elaborator generic

  compiler-errors

  committed
  758bedc

  Copy full SHA for 758bedc

Commits on Mar 28, 2023

• Introduce DeepRejectCtxt::substs_refs_may_unify.

  Show description for 47225e8
  nnethercote

  committed
  47225e8

  Copy full SHA for 47225e8

• Auto merge of #109692 - Nilstrieb:rollup-hq65rps, r=Nilstrieb

  Show description for 478cbb4
  bors

  committed
  478cbb4

  Copy full SHA for 478cbb4

• Auto merge of #108080 - oli-obk:FnPtr-trait, r=lcnr

  Show description for bf57e8a
  bors

  committed
  bf57e8a

  Copy full SHA for bf57e8a

Pagination

Previous

Next