Code

Improve tests around subtyping#1057

Code

Merged

johnynek merged 1 commit intomasterjohnynek/bosatsu:masterfrom oscar/20231021_improve_subtyping_testsjohnynek/bosatsu:oscar/20231021_improve_subtyping_testsCopy head branch name to clipboardOct 21, 2023

+52-15

Commits

Commits on Oct 21, 2023

• Improve tests around subtyping

  johnynek

  committed
  9420332