Commits

Breadcrumbs

History for

onconst-stab

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 24, 2024

• Remove associated type based effects logic

  compiler-errors

  committed
  a16d491

  Copy full SHA for a16d491

Commits on Oct 17, 2024

• move `defining_opaque_types` out of `Canonical`

  lcnr

  committed
  3360c17

  Copy full SHA for 3360c17

Commits on Oct 2, 2024

• review

  lcnr

  committed
  1a04a31

  Copy full SHA for 1a04a31

Commits on Sep 30, 2024

• canonicalizer: rm region uniquification, add caching

  lcnr

  committed
  15ac698

  Copy full SHA for 15ac698

Commits on Sep 11, 2024

• Simplify some nested if statements

  compiler-errors

  committed
  954419a

  Copy full SHA for 954419a

Commits on Aug 9, 2024

• Shrink `TyKind::FnPtr`.

  Show description for c4717cc
  nnethercote

  committed
  c4717cc

  Copy full SHA for c4717cc

Commits on Jul 5, 2024

• Split SolverDelegate back out from InferCtxtLike

  compiler-errors

  committed
  27588d1

  Copy full SHA for 27588d1

Commits on Jun 21, 2024

• Rename a bunch of things

  compiler-errors

  committed
  db638ab

  Copy full SHA for db638ab

Commits on Jun 18, 2024

• SolverDelegate

  compiler-errors

  committed
  baf94bd

  Copy full SHA for baf94bd

Commits on Jun 5, 2024

• Add `Ty` to `ConstKind::Value`

  BoxyUwU

  committed
  a9702a6

  Copy full SHA for a9702a6

• Basic removal of `Ty` from places (boring)

  BoxyUwU

  committed
  58feec9

  Copy full SHA for 58feec9

Commits on May 21, 2024

• Uplift binder

  compiler-errors

  committed
  28ce588

  Copy full SHA for 28ce588

Commits on May 20, 2024

• Rework var resolution in InferCtxtLike, uplift EagerResolver

  compiler-errors

  committed
  b0f1afd

  Copy full SHA for b0f1afd

Commits on May 10, 2024

• Lift `TraitRef` into `rustc_type_ir`

  compiler-errors

  committed
  1e5ec0a

  Copy full SHA for 1e5ec0a

Commits on May 6, 2024

• Use super_fold in RegionsToStatic visitor

  compiler-errors

  committed
  116f95b

  Copy full SHA for 116f95b

Commits on Apr 8, 2024

• Auto merge of #122077 - oli-obk:eager_opaque_checks4, r=lcnr

  Show description for b234e44
  bors

  committed
  b234e44

  Copy full SHA for b234e44

• Eliminate `DefiningAnchor` now that is just a single-variant enum

  oli-obk

  committed
  2f2350e

  Copy full SHA for 2f2350e

• Pass list of defineable opaque types into canonical queries

  oli-obk

  committed
  19bd91d

  Copy full SHA for 19bd91d

• Actually create ranged int types in the type system.

  oli-obk

  committed
  84acfe8

  Copy full SHA for 84acfe8

Commits on Mar 28, 2024

• Require foldability part of interner item bounds, remove redundant where clauses

  compiler-errors

  committed
  6439c7f

  Copy full SHA for 6439c7f

• Restrict const ty's regions to static when putting them in canonical var list

  compiler-errors

  committed
  08c7ff2

  Copy full SHA for 08c7ff2

Commits on Mar 24, 2024

• Rollup merge of #122907 - compiler-errors:uniquify-reerror, r=lcnr

  Show description for cb03714
  matthiaskrgr

  authored
  cb03714

  Copy full SHA for cb03714

Commits on Mar 22, 2024

• Uniquify ReError on input mode in canonicalizer

  compiler-errors

  committed
  1fcf2ea

  Copy full SHA for 1fcf2ea

• Programmatically convert some of the pat ctors

  compiler-errors

  committed
  ff0c31e

  Copy full SHA for ff0c31e

Commits on Mar 4, 2024

• Allow a way to add constructors for rustc_type_ir types

  compiler-errors

  committed
  1eedca8

  Copy full SHA for 1eedca8

Commits on Feb 26, 2024

• always emit `AliasRelate` goals when relating aliases

  Show description for 1b3164f
  lcnr

  committed
  1b3164f

  Copy full SHA for 1b3164f

Commits on Feb 13, 2024

• Move visitable bounds up into interner

  compiler-errors

  committed
  7e80867

  Copy full SHA for 7e80867

• Add assertions back to canonicalizer

  compiler-errors

  committed
  edc5053

  Copy full SHA for edc5053

Commits on Feb 6, 2024

• Add CoroutineClosure to TyKind, AggregateKind, UpvarArgs

  compiler-errors

  committed
  c567edd

  Copy full SHA for c567edd

Commits on Dec 28, 2023

• Remove movability from TyKind::Coroutine

  compiler-errors

  committed
  fcb42b4

  Copy full SHA for fcb42b4

Commits on Dec 15, 2023

• Opportunistically resolve region var in canonicalizer

  compiler-errors

  committed
  146e345

  Copy full SHA for 146e345

Commits on Dec 8, 2023

• Feedback

  Show description for 1f5895b
  compiler-errors

  committed
  1f5895b

  Copy full SHA for 1f5895b

• Uplift canonicalizer into new trait solver crate

  compiler-errors

  committed
  cb41509

  Copy full SHA for cb41509

Loading