Closed muirdm closed 1 year ago
@muirdm is this ready for merging as is?
is this ready for merging
No, I'm not really happy with this. We can peel off just the first commit for now for some relief.
I have a different branch with a somewhat better approach - let me try to get that ready for eyes.
I opened #410 that has a better approach where we can "piggyback" on top of the existing type fontification in most cases.
Attempt to fix some fortification issues with type params
393