Chris Smowton 561f06a4bd Remove unused predicate

2023-11-30 11:24:06 +00:00

..

automodel

Java automodel: also drop boxed types and number types from endpoints

2023-11-24 15:04:13 +01:00

consistency-queries

Note that instanceof with a record pattern doesn't have a type access

2023-11-30 11:24:01 +00:00

examples

Replace getDefaultOrNullDefaultCase with getDefaultCase

2023-11-30 11:24:03 +00:00

integration-tests

…

lib

Remove unused predicate

2023-11-30 11:24:06 +00:00

src

Restrict getCheckedType to unrestricted records, introduce getSyntacticCheckedType and use that where appropriate

2023-11-30 11:24:05 +00:00

test

Fix hasBranchEdge for switch exprs with an internal CFG and incoming edges from a passing case guard

2023-11-30 11:24:06 +00:00

test-kotlin1

…

test-kotlin2

…