Commits

Breadcrumbs

History for

ontoo-many-args

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 22, 2025

• Rename `structurally_normalize` to `structurally_normalize_ty`

  BoxyUwU

  committed
  b99f59b

  Copy full SHA for b99f59b

• Use `structurally_normalize` instead of manual `normalizes-to` goals

  BoxyUwU

  committed
  513bfaa

  Copy full SHA for 513bfaa

Commits on Nov 12, 2024

• Consolidate type system const evaluation under `traits::evaluate_const`

  Show description for bea0148
  BoxyUwU

  committed
  bea0148

  Copy full SHA for bea0148

Commits on Oct 23, 2024

• nightly feature tracking: get rid of the per-feature bool fields

  RalfJung

  committed
  ad3991d

  Copy full SHA for ad3991d

Commits on Oct 19, 2024

• Fix transmute goal

  compiler-errors

  committed
  9453d2c

  Copy full SHA for 9453d2c

Commits on Sep 22, 2024

• Introduce structurally_normalize_const, use it in hir_typeck

  compiler-errors

  committed
  3b8089a

  Copy full SHA for 3b8089a

Commits on Jun 3, 2024

• Nits and formatting

  compiler-errors

  committed
  a41c44f

  Copy full SHA for a41c44f

• Make TraitEngines generic over error

  compiler-errors

  committed
  54b2b7d

  Copy full SHA for 54b2b7d

Commits on May 9, 2024

• Use fewer origins when creating type variables.

  Show description for fe843fe
  nnethercote

  committed
  fe843fe

  Copy full SHA for fe843fe

Commits on Apr 29, 2024

• Remove `extern crate rustc_macros` from numerous crates.

  nnethercote

  committed
  4814fd0

  Copy full SHA for 4814fd0

Commits on Apr 15, 2024

• Remove TypeVariableOriginKind

  compiler-errors

  committed
  34bce07

  Copy full SHA for 34bce07

Commits on Feb 16, 2024

• Move trait into attr so it's greppable

  compiler-errors

  committed
  a9dbf63

  Copy full SHA for a9dbf63

• Use extension trait derive

  compiler-errors

  committed
  9c25823

  Copy full SHA for 9c25823

Commits on Jan 11, 2024

• Remove special-casing around aliaskind in new solver

  compiler-errors

  committed
  68c2f11

  Copy full SHA for 68c2f11

Commits on Dec 18, 2023

• Use alias-eq in structural normalization

  compiler-errors

  committed
  132a288

  Copy full SHA for 132a288

Commits on Dec 14, 2023

• update use of feature flags

  lcnr

  committed
  11d16c4

  Copy full SHA for 11d16c4

Commits on Dec 8, 2023

• implement and use `NormalizesTo`

  lcnr

  committed
  ffb4c08

  Copy full SHA for ffb4c08

Commits on Sep 21, 2023

• HACK: avoid hang in structurally_normalize

  lcnr

  committed
  8024c69

  Copy full SHA for 8024c69

Commits on Aug 7, 2023

• Structurally normalize weak and inherent too

  compiler-errors

  committed
  fb9030d

  Copy full SHA for fb9030d

Commits on Jun 6, 2023

• New trait solver is a property of inference context

  compiler-errors

  committed
  e0acff7

  Copy full SHA for e0acff7

Commits on May 22, 2023

• Structurally normalize in the new solver

  compiler-errors

  committed
  4cfafb2

  Copy full SHA for 4cfafb2

Loading