Seen with:

def-diff:
sig -> diff
where
old-def := <SepOld // complete me
<+
diff := Removed(sig)
with
new-def := sig

results in:

[ identity crisis | critical ] Internal error: with clause failed unexpectedly in rule ‘propose-completion’
Var(COMPLETION(“SepOld”))
rewriting failed, trace:
report_with_failure_0_2
propose_completion_0_0
alltd_1_0
declare_bodies_top_0_0
declare_bodies_0_0_fragment_1
declare_bodies_0_0
alltd_1_0
declare_bodies_top_0_0
restore_2_0
dr_fork_and_merge_3_1
dr_fork_and_union_2_1
declare_bodies_0_0_fragment_1
declare_bodies_0_0
alltd_1_0
declare_bodies_top_0_0
declare_bodies_0_0_fragment_1
declare_bodies_0_0
alltd_1_0
dr_scope_1_1
declare_bodies_0_0
alltd_1_0
declare_bodies_top_0_0
analyze_ast_local_0_0
editor_complete_0_0
editor_complete_0_0

Submitted by Lennart Kats on 24 April 2010 at 20:45

Fixed in 0.4.5.