SetLevels: Don't set context level when floating cases

Authored by bgamari on Aug 19 2019, 9:03 AM.

Description

SetLevels: Don't set context level when floating cases

When floating a single-alternative case we previously would set the
context level to the level where we were floating the case. However,
this is not what FloatOut did: it rather left

Details

Committed
bgamariAug 21 2019, 5:36 AM
Parents
rGHC6bd8b6d1adb6: testsuite: Add cut-down test for #16978
Branches
Unknown
Tags
Unknown