feat(linter): Implement immediately_bind_scoped rule

[eliassjogreen]

Needs #790 to be merged first.

Still a bit work in progress with some edge-cases which need ironing out, but it seems to mostly work now which is pretty cool.

[aapoalas]

praise: Ooh this is really cool! <3

[eliassjogreen]

Majorly unsure if all of the edge-cases are actually correct now that I'm looking back at it... Would be nice if you could write a few tests/examples to test the hardest and most obscure but still "correct" uses.

Also need to figure out how to handle the remaining 8 failures which all seem to follow the pattern:

let px = value.unbind();
let gc = gc.into_nogc();
let py = py.get(agent);
(px.bind(gc), py.bind(gc))

[aapoalas]

Majorly unsure if all of the edge-cases are actually correct now that I'm looking back at it... Would be nice if you could write a few tests/examples to test the hardest and most obscure but still "correct" uses.

I'll try to get on this... sometime around here? :)

Also need to figure out how to handle the remaining 8 failures which all seem to follow the pattern:

let px = value.unbind();
let gc = gc.into_nogc();
let py = py.get(agent);
(px.bind(gc), py.bind(gc))

Hmm... It does seem to me that these are effectively all more or less wrong and the lint is correct. I'll try fixing them up.

[aapoalas]

LGTM, and it's a great and important step towards using GC lint safety <3

[aapoalas]

note: Return position would also be valid: return Ok(value.get(agent)); is perfectly safe.

[eliassjogreen]

Updated the lint to check the take method too and found two new issues 😉.