id summary reporter owner description type status priority milestone component version resolution keywords cc 1 Lifting doesn't introduce capabilities. benl benl "In !WeakKiEnv / Case !XUse {{{ ~ mentionsCapT (TyCapRegion n) t1 ------------------------------------------ ~ mentionsCapT (TyCapRegion n) (liftTT 1 ix t1) }}}" lemma new normal SystemF2Effect