Fix failed inlining opportunity found in !6696 (closed) by taking into account case-of-known-constructor/literal in tryUnfolding
.
TODO:
-
add a test
Fix failed inlining opportunity found in !6696 (closed) by taking into account case-of-known-constructor/literal in tryUnfolding
.
TODO: