CohenArthur issues

Results 350 issues of


                                            CohenArthur

Add string interpolation parsing

Monomorphize generic types

Needs #662 Rebased on #662 this now reaches `Actual`, so the `TreeLike` visitor is working! ``` // if we don't want to have actual and typer look at generics, then...

Handle type annotations when typechecking bindings

enhancement

typechecker

Replace `name_resolver::Scoper` visitor by an `fir::TreeLike` visitor

enhancement

Call the typechecker `tyck`

...and add helpful documents about how ticks are the bane of Jinko's existence :)

misc

Switch `TreeLike` to be a walk-visitor

Have `visit_*` methods which should be overriden, and `walk_*` methods which shouldn't and call `visit_*` on the current node's sub-nodes

Remove `recursive_typecheck` package

good first issue

Build generic constraints

- [ ] For function arguments, the `TypedValue` and the `Binding` refer to each other which is weird - [ ] How to not name resolve functions which are generic?...

Name resolve field instantiations

I'm not sure that adding another latent name resolution pass is the best way to achieve that, however it's very small and easy to reason about - if properly documented,...