Inline variable code action

[lpil]

An action that inlines a variable that is used once

pub fn main() {
  let value = [1, 2, 3]
  list.map(value, run)
  #        ^^^^^
}

pub fn main() {
  list.map([1, 2, 3], run)
}

[GearsDatapacks]

The compiler could also perform this optimisation automatically

[lpil]

Not sure what you mean, sorry. What optimisation?

[GearsDatapacks]

Inlining variables. It's not much of an optimisation by itself, but it allows for further optimisations (just like function inlining).
For example:

let a = 1
a + 2

Becomes:

1 + 2

Which the compiler should be able to infer as (although it doesn't currently):

3

[giacomocavalieri]

Yeah but I think it's also very much a stylistic choice so having a code action to do it would be really nice

[GearsDatapacks]

Certainly

[lpil]

I'm not sure what the motivation is there. An optimising compiler may perform that action if it expects that structure to be able to apply later optimisations, but we don't implement any optimisations, and if we did it may not benefit from this.

[GearsDatapacks]

Yeah perhaps it isn't useful right now