Code

Allow refining Self#589

Code

Merged

nilehmann merged 28 commits intomainflux-rs/flux:mainfrom assoc-predflux-rs/flux:assoc-predCopy head branch name to clipboardJan 6, 2024

+257-43

Commits

Commits on Dec 29, 2023

• next: get Self->bool to resolve

  

  Ranjit Jhala

  committed
  4e6a8ff

  Copy full SHA for 4e6a8ff

• next: get refined_fn_trait_01::baz to not crash

  

  Ranjit Jhala

  committed
  d62b4c0

  Copy full SHA for d62b4c0

• allow specs with Self as base

  

  Ranjit Jhala

  committed
  edae232

  Copy full SHA for edae232

• next: CHECK trait method sig at impl

  

  Ranjit Jhala

  committed
  5b50642

  Copy full SHA for 5b50642

• next: CHECK trait method sig at impl

  

  Ranjit Jhala

  committed
  9b785ae

  Copy full SHA for 9b785ae

Commits on Dec 30, 2023

• next: how to instantiate the method sig for the trait?

  

  Ranjit Jhala

  committed
  c0e1f88

  Copy full SHA for c0e1f88

• stash: check-trait-impl

  

  Ranjit Jhala

  committed
  cd7dd7f

  Copy full SHA for cd7dd7f

• init assoc_pred00 test

  

  Ranjit Jhala

  committed
  de223dd

  Copy full SHA for de223dd

Commits on Jan 3, 2024

• Update crates/flux-desugar/src/sort_resolver.rs

  Show description for 07df896
  

  ranjitjhala

  and

  nilehmann

  authored
  07df896

  Copy full SHA for 07df896

• Update crates/flux-desugar/src/sort_resolver.rs

  Show description for 7940b1b
  

  ranjitjhala

  and

  nilehmann

  authored
  7940b1b

  Copy full SHA for 7940b1b

• Update crates/flux-fhir-analysis/src/conv.rs

  Show description for d301280
  

  ranjitjhala

  and

  nilehmann

  authored
  d301280

  Copy full SHA for d301280

• Update crates/flux-fhir-analysis/src/conv.rs

  Show description for 2cfd865
  

  ranjitjhala

  and

  nilehmann

  authored
  2cfd865

  Copy full SHA for 2cfd865

• temp checkin

  

  Ranjit Jhala

  committed
  e43a156

  Copy full SHA for e43a156

• asd Merge branch 'assoc-pred' of github.com:flux-rs/flux into assoc-pred

  

  Ranjit Jhala

  committed
  7c05b0d

  Copy full SHA for 7c05b0d

• temp checkin

  

  Ranjit Jhala

  committed
  225c132

  Copy full SHA for 225c132

• yay, can get self-sort

  

  Ranjit Jhala

  committed
  0f5410f

  Copy full SHA for 0f5410f

• add impl-self-sort to SortResolvere

  

  Ranjit Jhala

  committed
  4febd0a

  Copy full SHA for 4febd0a

Commits on Jan 4, 2024

• temp checkin

  

  Ranjit Jhala

  committed
  85b687d

  Copy full SHA for 85b687d

• temp checkin

  

  Ranjit Jhala

  committed
  d586538

  Copy full SHA for d586538

• use lifted-generics as a starting point for surface generics

  

  Ranjit Jhala

  committed
  5656727

  Copy full SHA for 5656727

• clippy ok

  

  Ranjit Jhala

  committed
  5223a08

  Copy full SHA for 5223a08

• clippy ok

  

  Ranjit Jhala

  committed
  fcb9930

  Copy full SHA for fcb9930

• temp checkin

  

  Ranjit Jhala

  committed
  b5ad0dd

  Copy full SHA for b5ad0dd

• temp checkin

  

  Ranjit Jhala

  committed
  0c9c824

  Copy full SHA for 0c9c824

• glerb

  

  Ranjit Jhala

  committed
  14c53a3

  Copy full SHA for 14c53a3

• glerb

  

  Ranjit Jhala

  committed
  08a6550

  Copy full SHA for 08a6550

Commits on Jan 6, 2024

• Apply suggestions from code review

  nilehmann

  authored
  ef2ddb9

  Copy full SHA for ef2ddb9

• Fix formatting

  nilehmann

  committed
  7a045d5

  Copy full SHA for 7a045d5