Code

Add Delegation Checker#6609

Code

Draft

jyoo980 wants to merge 174 commits intotypetools:mastertypetools/checker-framework:masterfrom jyoo980:yoo/standalone-delegation-checkerjyoo980/checker-framework:yoo/standalone-delegation-checkerCopy head branch name to clipboard

+547-2

Commits

Commits on Jan 9, 2024

• Add start of manual for Non-Empty Checker

  jyoo980

  committed
  dddb8a3

  Copy full SHA for dddb8a3

• Add section on Non-Empty Checker checks

  jyoo980

  committed
  f5b1188

  Copy full SHA for f5b1188

• Adding type hierarchy image

  jyoo980

  committed
  d7e07e7

  Copy full SHA for d7e07e7

Commits on Jan 10, 2024

• Add qualifiers and barebones Non-Empty Checker

  jyoo980

  committed
  ce3cde3

  Copy full SHA for ce3cde3

• Add documentation for quals

  jyoo980

  committed
  61ce733

  Copy full SHA for 61ce733

• Add postcondition annotations for the Non-Empty Checker

  jyoo980

  committed
  e20d5af

  Copy full SHA for e20d5af

• Merge branch 'master' into yoo/nonempty-checker

  jyoo980

  committed
  1a13283

  Copy full SHA for 1a13283

• Merge branch 'typetools:master' into yoo/nonempty-checker

  jyoo980

  authored
  93bc49e

  Copy full SHA for 93bc49e

• Add postcondition annotations and tests

  jyoo980

  committed
  433a993

  Copy full SHA for 433a993

• Merge branch 'yoo/nonempty-checker' of github.com:jyoo980/checker-framework into yoo/nonempty-checker

  jyoo980

  committed
  5fe370d

  Copy full SHA for 5fe370d

• Merge branch 'typetools:master' into yoo/nonempty-checker

  jyoo980

  authored
  53ef7e7

  Copy full SHA for 53ef7e7

• Fix Javadoc build errors

  jyoo980

  committed
  134aef7

  Copy full SHA for 134aef7

Commits on Jan 11, 2024

• Add formatting updates

  jyoo980

  committed
  cdf043d

  Copy full SHA for cdf043d

• Adding descriptions for @EnsuresNonEmpty and @EnsuresNonEmptyIf

  jyoo980

  committed
  eda22bb

  Copy full SHA for eda22bb

• Adding tests for @EnsuresNonEmpty and @EnsuresNonEmptyIf

  jyoo980

  committed
  8824de7

  Copy full SHA for 8824de7

• Tweaks to manual

  mernst

  committed
  5aeea64

  Copy full SHA for 5aeea64

• Merge branch 'yoo/nonempty-checker' of github.com:jyoo980/checker-framework into yoo/nonempty-checker

  mernst

  committed
  b9699e1

  Copy full SHA for b9699e1

Commits on Jan 12, 2024

• Update formatting and code example

  jyoo980

  committed
  500c249

  Copy full SHA for 500c249

• Merge branch 'typetools:master' into yoo/nonempty-checker

  jyoo980

  authored
  9e58eaf

  Copy full SHA for 9e58eaf

Commits on Jan 13, 2024

• Add NonEmptyBottom and PolyNonEmpty to Non-Empty type system

  jyoo980

  committed
  c170355

  Copy full SHA for c170355

Commits on Jan 17, 2024

• Re-organize tests

  jyoo980

  committed
  1e66676

  Copy full SHA for 1e66676

• Adding additional tests for Set

  jyoo980

  committed
  fc61d3d

  Copy full SHA for fc61d3d

• Add temporary @skip-test

  jyoo980

  committed
  e91c373

  Copy full SHA for e91c373

• Merge branch 'typetools:master' into yoo/nonempty-checker

  jyoo980

  authored
  6fdfc3b

  Copy full SHA for 6fdfc3b

Commits on Jan 19, 2024

• Merge branch 'master' into yoo/nonempty-checker

  jyoo980

  committed
  e7fd519

  Copy full SHA for e7fd519

Commits on Jan 22, 2024

• Merge ../checker-framework-fork-jyoo980-branch-yoo-nonempty-checker into issue6407

  mernst

  committed
  00714bc

  Copy full SHA for 00714bc

• Set this.sideEffectsUnrefineAliases in NonEmptyAnnotatedTypeFactory

  mernst

  committed
  4467854

  Copy full SHA for 4467854

• Merge ../checker-framework-branch-master into yoo/nonempty-checker

  mernst

  committed
  20055de

  Copy full SHA for 20055de

• Merge branch 'yoo/nonempty-checker' of github.com:jyoo980/checker-framework into yoo/nonempty-checker

  mernst

  committed
  98f218c

  Copy full SHA for 98f218c

• Merge ../checker-framework-fork-jyoo980-branch-yoo-nonempty-checker into issue6407

  mernst

  committed
  2c5e9ff

  Copy full SHA for 2c5e9ff

• Merge pull request #1 from mernst/issue6407

  Show description for 99b9242
  jyoo980

  authored
  99b9242

  Copy full SHA for 99b9242

• Merge branch 'master' into yoo/nonempty-checker

  jyoo980

  committed
  f80abb2

  Copy full SHA for f80abb2

• Add test for Set.remove(E)

  jyoo980

  committed
  db6dab9

  Copy full SHA for db6dab9

Commits on Jan 23, 2024

• Add tests for immutable map operations

  jyoo980

  committed
  89b4bee

  Copy full SHA for 89b4bee

• Merge branch 'typetools:master' into yoo/nonempty-checker

  jyoo980

  authored
  a9964bc

  Copy full SHA for a9964bc

• Enable JDK tests

  jyoo980

  committed
  19a2042

  Copy full SHA for 19a2042

• Merge branch 'yoo/nonempty-checker' of github.com:jyoo980/checker-framework into yoo/nonempty-checker

  jyoo980

  committed
  90de18e

  Copy full SHA for 90de18e

Commits on Jan 24, 2024

• Apply Spotless changes

  jyoo980

  committed
  a0da89d

  Copy full SHA for a0da89d

Commits on Jan 25, 2024

• Merge branch 'typetools:master' into yoo/nonempty-checker

  jyoo980

  authored
  ee28483

  Copy full SHA for ee28483

Commits on Jan 27, 2024

• Merge branch 'master' into yoo/nonempty-checker

  jyoo980

  committed
  bca7308

  Copy full SHA for bca7308

• Adding tests for iterator operations

  jyoo980

  committed
  a53b9ba

  Copy full SHA for a53b9ba

Commits on Jan 29, 2024

• Merge branch 'master' into yoo/nonempty-checker

  jyoo980

  committed
  d788fe4

  Copy full SHA for d788fe4

• Start implementing transfer fn. for Non-Empty Checker

  jyoo980

  committed
  28859fb

  Copy full SHA for 28859fb

• Implement NonEmptyTransfer.visitNotEqual

  jyoo980

  committed
  266af5f

  Copy full SHA for 266af5f

• Pass proper arg

  jyoo980

  committed
  16d8aa1

  Copy full SHA for 16d8aa1

Commits on Jan 30, 2024

• Complete initial impl. of transfer function for Non-Empty Checker

  jyoo980

  committed
  aec4317

  Copy full SHA for aec4317

• Adding failing tests for LTE

  jyoo980

  committed
  3fefdb4

  Copy full SHA for 3fefdb4

• Comparison refinement working, need to add documentation

  jyoo980

  committed
  e44ecb8

  Copy full SHA for e44ecb8

• Merge branch 'master' into yoo/nonempty-checker

  jyoo980

  committed
  de84e5e

  Copy full SHA for de84e5e

• Document NonEmptyTransfer class

  jyoo980

  committed
  fefadec

  Copy full SHA for fefadec

Commits on Jan 31, 2024

• Invert conditionals and comment-out tests

  jyoo980

  committed
  feb14e2

  Copy full SHA for feb14e2

• Update Map.java annotation tests

  jyoo980

  committed
  10ddf62

  Copy full SHA for 10ddf62

Commits on Feb 1, 2024

• Add support for Map.size in NonEmptyTransfer

  jyoo980

  committed
  92dee7b

  Copy full SHA for 92dee7b

• Add switch test case

  jyoo980

  committed
  a9b7069

  Copy full SHA for a9b7069

Commits on Feb 2, 2024

• Add transfer function for switch statments

  jyoo980

  committed
  cd8d5e1

  Copy full SHA for cd8d5e1

• Merge branch 'master' into yoo/nonempty-checker

  jyoo980

  committed
  f079ad5

  Copy full SHA for f079ad5

• Support refinement for equality comparisons

  jyoo980

  committed
  5d5cf3a

  Copy full SHA for 5d5cf3a

Commits on Feb 5, 2024

• Implement implicit Non-Empty refinement for Equals

  jyoo980

  committed
  a107fb2

  Copy full SHA for a107fb2

• Merge branch 'master' into yoo/nonempty-checker

  jyoo980

  committed
  2c4dc9b

  Copy full SHA for 2c4dc9b

• Implement implicit refinement for NotEqualTo expressions

  jyoo980

  committed
  6fc9073

  Copy full SHA for 6fc9073

Commits on Feb 6, 2024

• Merge branch 'master' into yoo/nonempty-checker

  jyoo980

  committed
  0718311

  Copy full SHA for 0718311

• Add todo for GLB in strengthening annos

  jyoo980

  committed
  f45e835

  Copy full SHA for f45e835

• Test that Predicate.test is pure

  mernst

  committed
  1c37e41

  Copy full SHA for 1c37e41

• Merge branch 'yoo/nonempty-checker' of github.com:jyoo980/checker-framework into yoo/nonempty-checker

  mernst

  committed
  2a68280

  Copy full SHA for 2a68280

Commits on Feb 8, 2024

• Merge branch 'master' into yoo/nonempty-checker

  jyoo980

  committed
  b567d3c

  Copy full SHA for b567d3c

Commits on Feb 12, 2024

• Instantiate NonEmptyTransfer via reflection

  jyoo980

  committed
  ed46d30

  Copy full SHA for ed46d30

Commits on Feb 13, 2024

• Implement refinement for java.util.List indexOf(Object)

  jyoo980

  committed
  d72f6bd

  Copy full SHA for d72f6bd

• Implement indexOf(Object) refinement for switch statements

  jyoo980

  committed
  0660188

  Copy full SHA for 0660188

• Add test case

  mernst

  committed
  692b0c4

  Copy full SHA for 692b0c4

Commits on Feb 16, 2024

• Add test case for size() call in isEmpty()

  jyoo980

  committed
  ac242c2

  Copy full SHA for ac242c2

• Update code example in manual

  jyoo980

  committed
  0c87474

  Copy full SHA for 0c87474

• Add manual section and test case for delegation

  jyoo980

  committed
  3eceeda

  Copy full SHA for 3eceeda

Commits on Feb 17, 2024

• Add type annos for Delegation checking

  jyoo980

  committed
  649f386

  Copy full SHA for 649f386

Commits on Feb 18, 2024

• Merge branch 'master' into yoo/nonempty-checker

  jyoo980

  committed
  f413c61

  Copy full SHA for f413c61

Commits on Feb 20, 2024

• Simplify @Delegate logic

  jyoo980

  committed
  d67005d

  Copy full SHA for d67005d

Commits on Feb 22, 2024

• Add basic DelegationChecker implementation

  jyoo980

  committed
  8cb8fd3

  Copy full SHA for 8cb8fd3

• Remove override for setRoot as it appears to crash with NPE

  jyoo980

  committed
  2174fb7

  Copy full SHA for 2174fb7

• Merge branch 'master' into yoo/nonempty-checker

  jyoo980

  committed
  5d472ae

  Copy full SHA for 5d472ae

• Make NonEmptyChecker extend DelegationChecker

  jyoo980

  committed
  349f825

  Copy full SHA for 349f825

• Add test case for invalid delegation

  jyoo980

  committed
  82ec19e

  Copy full SHA for 82ec19e

Commits on Feb 23, 2024

• Implement very basic delegation verification

  jyoo980

  committed
  ff710d5

  Copy full SHA for ff710d5

• Simplify logic for finding Override annotations

  jyoo980

  committed
  3350681

  Copy full SHA for 3350681

• Update tests

  jyoo980

  committed
  6dbab9a

  Copy full SHA for 6dbab9a

Commits on Feb 25, 2024

• Document code

  jyoo980

  committed
  3c783c6

  Copy full SHA for 3c783c6

• Merge remote-tracking branch 'upstream/master' into yoo/nonempty-checker

  jyoo980

  committed
  583bdab

  Copy full SHA for 583bdab

• Fix boolean operator

  jyoo980

  committed
  f8b5c9f

  Copy full SHA for f8b5c9f

• Support delgation to void methods

  jyoo980

  committed
  471b30d

  Copy full SHA for 471b30d

Commits on Feb 26, 2024

• Merge branch 'master' into yoo/nonempty-checker

  jyoo980

  committed
  451b831

  Copy full SHA for 451b831

Commits on Feb 27, 2024

• Allow exceptional exits for delegate methods

  jyoo980

  committed
  a3c967f

  Copy full SHA for a3c967f

• Merge remote-tracking branch 'upstream/master' into yoo/nonempty-checker

  jyoo980

  committed
  d3a3900

  Copy full SHA for d3a3900

• Start obtaining methods from supertype

  jyoo980

  committed
  dfb58b9

  Copy full SHA for dfb58b9

Commits on Feb 29, 2024

• Add UnmodifiableTest.java

  jyoo980

  committed
  44d0b51

  Copy full SHA for 44d0b51

Commits on Mar 1, 2024

• Expand diagnostics, expand test

  mernst

  committed
  1c7d8d4

  Copy full SHA for 1c7d8d4

• Adding test case for Collections.java

  jyoo980

  committed
  e96fcf5

  Copy full SHA for e96fcf5

• Fix merge

  jyoo980

  committed
  896b727

  Copy full SHA for 896b727

• Merge branch 'master' into yoo/nonempty-checker

  jyoo980

  committed
  353b096

  Copy full SHA for 353b096

• Comment-out erroneous override checking

  jyoo980

  committed
  e6fe54a

  Copy full SHA for e6fe54a

Commits on Mar 3, 2024

• Implement naive override checking

  jyoo980

  committed
  c65f2fc

  Copy full SHA for c65f2fc

Commits on Mar 5, 2024

• Add @DelegatorMustOverride annotation

  jyoo980

  committed
  8cdcf6d

  Copy full SHA for 8cdcf6d

• Merge branch 'master' into yoo/nonempty-checker

  jyoo980

  committed
  91f127a

  Copy full SHA for 91f127a

Commits on Mar 6, 2024

• Add Non-Empty Checker tree annotator for NewArrayTree

  jyoo980

  committed
  b00303c

  Copy full SHA for b00303c

• Add test case for Map.ofEntries

  jyoo980

  committed
  d0c3ae6

  Copy full SHA for d0c3ae6

• Merge branch 'master' into yoo/nonempty-checker

  jyoo980

  committed
  01fbe18

  Copy full SHA for 01fbe18

Commits on Mar 7, 2024

• Add test cases for Stream.java

  jyoo980

  committed
  7156364

  Copy full SHA for 7156364

• Merge branch 'master' into yoo/nonempty-checker

  jyoo980

  committed
  9a13edc

  Copy full SHA for 9a13edc

Commits on Mar 8, 2024

• Comments

  mernst

  committed
  074f638

  Copy full SHA for 074f638

Commits on Mar 10, 2024

• Merge branch 'master' into yoo/nonempty-checker

  jyoo980

  committed
  3a782c0

  Copy full SHA for 3a782c0

Commits on Mar 11, 2024

• Merge branch 'master' into yoo/nonempty-checker

  jyoo980

  committed
  44c72dd

  Copy full SHA for 44c72dd

• Merge remote-tracking branch 'upstream/master' into yoo/nonempty-checker

  jyoo980

  committed
  e385d0e

  Copy full SHA for e385d0e

• Add WIP for resolving false positives with non-empty streams

  jyoo980

  committed
  2b3cd4b

  Copy full SHA for 2b3cd4b

Commits on Mar 12, 2024

• Refine the result, not the receiver

  mernst

  committed
  1ba6043

  Copy full SHA for 1ba6043

• Fix typo in documentation

  jyoo980

  committed
  c3478c2

  Copy full SHA for c3478c2

• Merge branch 'master' into yoo/nonempty-checker

  jyoo980

  committed
  25ad3c4

  Copy full SHA for 25ad3c4

• Merge remote-tracking branch 'upstream/master' into yoo/nonempty-checker

  jyoo980

  committed
  c044594

  Copy full SHA for c044594

• Add support for Stream.reduce(BinaryOperator)

  jyoo980

  committed
  7b70a61

  Copy full SHA for 7b70a61

Commits on Mar 13, 2024

• Merge branch 'master' into yoo/nonempty-checker

  jyoo980

  committed
  3a5c8db

  Copy full SHA for 3a5c8db

• Add support for Stream.findAny and Stream.findFirst

  jyoo980

  committed
  6d8dcc5

  Copy full SHA for 6d8dcc5

Commits on Mar 14, 2024

• Merge remote-tracking branch 'upstream/master' into yoo/nonempty-checker

  jyoo980

  committed
  2618787

  Copy full SHA for 2618787

• Handle case where receiver may be null

  jyoo980

  committed
  d08e2ec

  Copy full SHA for d08e2ec

• Merge branch 'master' into yoo/nonempty-checker

  jyoo980

  committed
  22cd54d

  Copy full SHA for 22cd54d

• Merge branch 'master' into yoo/nonempty-checker

  jyoo980

  committed
  9e1028d

  Copy full SHA for 9e1028d

Commits on Mar 22, 2024

• Merge remote-tracking branch 'upstream/master' into yoo/nonempty-checker

  jyoo980

  committed
  4a18b42

  Copy full SHA for 4a18b42

Commits on Mar 29, 2024

• Merge remote-tracking branch 'upstream/master' into yoo/nonempty-checker

  jyoo980

  committed
  3fda942

  Copy full SHA for 3fda942

• Apply Spotless changes

  jyoo980

  committed
  a945675

  Copy full SHA for a945675

Commits on Apr 2, 2024

• Merge w. master

  jyoo980

  committed
  b7d7e17

  Copy full SHA for b7d7e17

• Merge branch 'master' into yoo/nonempty-checker

  jyoo980

  committed
  613986d

  Copy full SHA for 613986d

Commits on Apr 3, 2024

• Merge branch 'master' into yoo/nonempty-checker

  jyoo980

  committed
  763df84

  Copy full SHA for 763df84

Commits on Apr 4, 2024

• Merge branch 'master' into yoo/nonempty-checker

  jyoo980

  committed
  eafc977

  Copy full SHA for eafc977

Commits on Apr 5, 2024

• Merge branch 'master' into yoo/nonempty-checker

  jyoo980

  committed
  7103274

  Copy full SHA for 7103274

Commits on Apr 8, 2024

• Merge branch 'master' into yoo/nonempty-checker

  jyoo980

  committed
  bb26689

  Copy full SHA for bb26689

• Merge branch 'master' into yoo/nonempty-checker

  jyoo980

  committed
  4264e4d

  Copy full SHA for 4264e4d

Commits on Apr 9, 2024

• Refine types in OptionalTransfer without NonEmptyAnnotatedTypeFactory

  jyoo980

  committed
  ef1eec2

  Copy full SHA for ef1eec2

Commits on Apr 10, 2024

• Add debugging information

  jyoo980

  committed
  6a89910

  Copy full SHA for 6a89910

• Merge branch 'typetools:master' into yoo/nonempty-optional-transfer-nonempty-information

  jyoo980

  authored
  4d09502

  Copy full SHA for 4d09502

• Apply lint

  jyoo980

  committed
  5b2056e

  Copy full SHA for 5b2056e

Commits on May 1, 2024

• Merge branch 'master' into yoo/nonempty-optional-transfer-nonempty-information

  jyoo980

  committed
  7c3527d

  Copy full SHA for 7c3527d

• Reading @nonempty anno in Optional Transfer

  jyoo980

  committed
  50bfa36

  Copy full SHA for 50bfa36

Commits on May 2, 2024

• Add documentation and debug logs

  jyoo980

  committed
  b5adf0d

  Copy full SHA for b5adf0d

• Add additional logging

  jyoo980

  committed
  a0abd2f

  Copy full SHA for a0abd2f

• Remove unnecessary helper methods

  jyoo980

  committed
  05b15d0

  Copy full SHA for 05b15d0

Commits on May 8, 2024

• Merge branch 'master' into yoo/nonempty-optional-transfer-nonempty-information

  jyoo980

  committed
  b1ed401

  Copy full SHA for b1ed401

Commits on May 9, 2024

• Merge branch 'typetools:master' into yoo/nonempty-optional-transfer-nonempty-information

  jyoo980

  authored
  f8ba782

  Copy full SHA for f8ba782

• Merge branch 'master' into yoo/nonempty-optional-transfer-nonempty-information

  jyoo980

  committed
  f5b1614

  Copy full SHA for f5b1614

• Refactoring check for non-empty method invocation receiver

  jyoo980

  committed
  21e21f2

  Copy full SHA for 21e21f2

Commits on May 13, 2024

• Get initial receiver of method invocation

  jyoo980

  committed
  38c5402

  Copy full SHA for 38c5402

• Enable insertion of non-deterministic expressions into the store

  jyoo980

  committed
  fb2bb56

  Copy full SHA for fb2bb56

• Clean up logging

  jyoo980

  committed
  7d695da

  Copy full SHA for 7d695da

• Start implementing method-level support for skipDefs flag

  jyoo980

  committed
  75fd8fa

  Copy full SHA for 75fd8fa

• Merge branch 'master' into yoo/skipdefs-for-methods

  jyoo980

  authored
  7fa7d4a

  Copy full SHA for 7fa7d4a

Commits on May 14, 2024

• Correct logic for JavaExpression.getInitialReceiverOfMethodInvocation

  jyoo980

  committed
  a8248cc

  Copy full SHA for a8248cc

• Add debug logs

  jyoo980

  committed
  9887291

  Copy full SHA for 9887291

• Enable NonEmptyChecker to access methods to check from the OptionalChecker

  jyoo980

  committed
  8e91f0d

  Copy full SHA for 8e91f0d

Commits on May 15, 2024

• Stub implementation of SourceChecker.shouldSkipDefs and make it non-final

  jyoo980

  committed
  e7906b0

  Copy full SHA for e7906b0

• Remove unnecessary flags

  jyoo980

  committed
  14c7977

  Copy full SHA for 14c7977

• Merge branch 'yoo/skipdefs-for-methods' into yoo/nonempty-optional-transfer-nonempty-information

  jyoo980

  committed
  0478e43

  Copy full SHA for 0478e43

• Simplify logic for accessing + checking methods to check in the Non-Empty Checker

  jyoo980

  committed
  6d65157

  Copy full SHA for 6d65157

• Update algorithm to obtain methods to check with Non-Empty Checker

  jyoo980

  committed
  89d3861

  Copy full SHA for 89d3861

Commits on May 16, 2024

• Merge branch 'master' into yoo/nonempty-optional-transfer-nonempty-information

  jyoo980

  committed
  fa1539c

  Copy full SHA for fa1539c

• Merge branch 'master' into yoo/nonempty-optional-transfer-nonempty-information

  jyoo980

  committed
  0f53325

  Copy full SHA for 0f53325

• Override processMethod

  jyoo980

  committed
  9a67aab

  Copy full SHA for 9a67aab

Commits on May 17, 2024

• Account for case when TreeUtils.getReceiverTree returns the receiver, not a tree

  jyoo980

  committed
  46a2725

  Copy full SHA for 46a2725

Commits on May 18, 2024

• Handle receivers of stream operations that are fields, not locals or formals

  jyoo980

  committed
  572584d

  Copy full SHA for 572584d

Commits on May 19, 2024

• Merge ../checker-framework-branch-master into yoo/nonempty-optional-transfer-nonempty-information

  mernst

  committed
  c0c04a0

  Copy full SHA for c0c04a0

• Use %n, not \n, for platform independence

  mernst

  committed
  64c469b

  Copy full SHA for 64c469b

• Minor changes

  mernst

  committed
  615205d

  Copy full SHA for 615205d

• Remove changes related to the Optional Checker

  jyoo980

  committed
  6654033

  Copy full SHA for 6654033

• Remove Non-Empty related code

  jyoo980

  committed
  878ffeb

  Copy full SHA for 878ffeb

• Start of Standalone Delegation Checker

  jyoo980

  committed
  6ec0516

  Copy full SHA for 6ec0516

• Remove unrelated changes

  jyoo980

  committed
  5c65841

  Copy full SHA for 5c65841

• Remove additional unrelated code

  jyoo980

  committed
  afe12cc

  Copy full SHA for afe12cc

• Remove manual entry

  jyoo980

  committed
  87f8e0e

  Copy full SHA for 87f8e0e

• Add back TreeUtils.fieldsFromTree

  jyoo980

  committed
  36ebf2e

  Copy full SHA for 36ebf2e

• Extracting delegation checking logic into DelegationVisitor

  jyoo980

  committed
  06d74b1

  Copy full SHA for 06d74b1

Commits on Jun 9, 2024

• Merge remote-tracking branch 'typetools/master' into yoo/standalone-delegation-checker

  jyoo980

  committed
  95c3a8f

  Copy full SHA for 95c3a8f