Code lens in function annotation should always be at the top/on top of annotation #75

New issue

Closed

opened 2026-10-23 16:04:20 +02:00 by marfavi · 0 comments

marfavi commented

2026-10-23 16:04:20 +02:00

Owner

Swapping these for code lens aesthetic, maybe the code lens should just always be at the top of a Crocq annotation (out of scope of this PR, create separate issue)

Originally posted by @marfavi in #58/files (comment)

Swapping these for code lens aesthetic, maybe the code lens should just always be at the top of a Crocq annotation (out of scope of this PR, create separate issue) _Originally posted by @marfavi in https://git.marfavi.com/code2rocq/crocq/pulls/58/files#issuecomment-1268_

marfavi referenced this issue

2026-10-28 10:17:29 +01:00

Add inline versions of INV and SPEC clauses #58

marfavi added this to the Release roadmap project

2026-10-28 10:24:31 +01:00

marfavi added the

quick-pick

label

2026-10-28 14:23:25 +01:00

marfavi referenced this issue from a commit

2026-10-28 14:50:16 +01:00

Place the interpret-proof lens at the annotation top (#75)