Merge pull request #7817 from ethereum/bail-on-shadowing-state-vars

Report error on shadowing state variables
2023-10-03 13:03:40 +00:00 · 2019-12-03 21:22:39 +01:00
parent 2f11ac3590 7bbdfe070f
commit 2d42da3b7d
16 changed files with 31 additions and 91 deletions
@@ -2,12 +2,10 @@ pragma experimental SMTChecker;

 contract Base1 {
 	uint x;
-	uint private t;
 }

 contract Base2 is Base1 {
 	uint z;
-	uint private t;
 }

 contract C is Base2 {