Codecov Report

Attention: Patch coverage is 97.67442% with 1 line in your changes missing coverage. Please review.

Project coverage is 60.97%. Comparing base (69400d4) to head (0671c88).
Report is 42 commits behind head on master.

@@            Coverage Diff             @@
##           master    #2848      +/-   ##
==========================================
+ Coverage   60.90%   60.97%   +0.07%     
==========================================
  Files         564      564              
  Lines       75273    75279       +6     
==========================================
+ Hits        45844    45902      +58     
+ Misses      26057    26008      -49     
+ Partials     3372     3369       -3     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

I think all values declared using gonative should be not modifiable.

Can we just have that if you have an assignment on a value which is statically typed as a native value, you cannot change it?

We have an example of editing a native value here: https://github.com/gnolang/gno/blob/master/gnovm/tests/files/assign0b_native.gno. I'm unsure if this is something we want to prohibit.

The fact that values are modifiable makes functions modifiable, too:

package main

import (
	"fmt"
)

func main() {
	fmt.Sprintf = func(v string, p ...interface{}) string { return "123" }
	println(fmt.Sprintf("a", "b"))
}

// Output:
// 123

Seeing as we eventually want to remove gonative (#1361), I think it's sensible to remove the ability to modify these entirely.

Yes maybe we should forbid the edit only for functions and constants. WDYT ?

Whatever is simplest.

Added here: 0671c88

Nice catch for the issue ^^