revise existing tests to match #311 (subtype checking only for refere… - #323

Open

crusso wants to merge 12 commits into

claudio/candid-subtype-check

Commits on Mar 18, 2022

revise existing tests to match #311 (subtype checking only for reference types)
crusso
committed
9b0e92e

Commits on Apr 8, 2022

More test cases, new file for subtype tests
nomeata
committed
6976902
Many more tests
nomeata
committed
734b796
Tests about infinite types
nomeata
committed
135a26e

Commits on Apr 9, 2022

Use method name "m" to work around https://github.com/dfinity/motoko/issues/1668
nomeata
committed
5e8c752
A few tests with future types
nomeata
committed
0889e28

Commits on Dec 5, 2022

Commits on May 25, 2023

Merge branch 'master' into claudio/candid-subtype-check
crusso
authored
96718cf