Gracefully handle invalid restrictions

[turbolent]

Description

Fix regression introduced in a250336. Bring back the continue statement which ignores invalid restrictions

---

• Targeted PR against master branch
• Linked to Github issue with discussion and accepted design OR link to spec that describes this work
• Code follows the standards mentioned here
• Updated relevant documentation
• Re-reviewed Files changed in the Github PR explorer
• Added appropriate labels

[codecov-commenter]

Codecov Report

Merging #1249 (53ddeff) into master (ad6895c) will increase coverage by 0.00%.
The diff coverage is 100.00%.

@@           Coverage Diff           @@
##           master    #1249   +/-   ##
=======================================
  Coverage   77.59%   77.60%           
=======================================
  Files         274      274           
  Lines       35232    35233    +1     
=======================================
+ Hits        27339    27341    +2     
+ Misses       6806     6805    -1     
  Partials     1087     1087           

Flag	Coverage Δ
unittests	77.60% <100.00%> (+<0.01%)	⬆️

Flags with carried forward coverage won't be shown. Click here to find out more.

Impacted Files	Coverage Δ
runtime/sema/checker.go	89.34% <100.00%> (+0.08%)	⬆️

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update ad6895c...53ddeff. Read the comment docs.

[github-actions]

Cadence Benchstat comparison

This branch with compared with the base branch onflow:master commit 91c67f5
The command go test ./... -run=XXX -bench=. -shuffle=on -count N was used.
Bench tests were run a total of 7 times on each branch.

Results

	old.txt	new.txt
	time/op		delta
RuntimeStorageWriteCached-2	142µs ± 2%	196µs ±31%	+37.70%	(p=0.001 n=6+7)
CheckContractInterfaceFungibleTokenConformance-2	178µs ± 2%	185µs ± 1%	+4.44%	(p=0.002 n=6+6)
ParseFungibleToken-2	472µs ± 2%	492µs ± 3%	+4.35%	(p=0.007 n=7+7)
RuntimeFungibleTokenTransfer-2	1.27ms ± 4%	1.32ms ± 5%	+3.85%	(p=0.026 n=7+7)
InterpretRecursionFib-2	2.87ms ± 2%	2.93ms ± 2%	+1.98%	(p=0.007 n=7+7)
QualifiedIdentifierCreation/Three_levels-2	172ns ± 1%	175ns ± 2%	+1.78%	(p=0.019 n=7+7)
RuntimeResourceDictionaryValues-2	17.9ms ± 8%	17.5ms ± 8%	~	(p=0.535 n=7+7)
ParseDeploy/decode_hex-2	1.56ms ± 2%	1.54ms ± 3%	~	(p=0.165 n=7+7)
ParseInfix-2	25.3µs ± 4%	25.6µs ± 1%	~	(p=0.639 n=7+5)
QualifiedIdentifierCreation/One_level-2	3.45ns ± 2%	3.46ns ± 3%	~	(p=0.836 n=7+6)
NewInterpreter/new_interpreter-2	1.26µs ±12%	1.24µs ± 6%	~	(p=1.000 n=7+7)
NewInterpreter/new_sub-interpreter-2	2.22µs ± 5%	2.26µs ± 1%	~	(p=0.209 n=7+7)
ParseDeploy/byte_array-2	35.7ms ± 1%	35.0ms ± 1%	−1.94%	(p=0.001 n=6+7)
ParseArray-2	24.2ms ± 2%	23.0ms ± 2%	−4.93%	(p=0.001 n=7+7)
ContractInterfaceFungibleToken-2	52.5µs ± 6%	48.8µs ± 1%	−6.92%	(p=0.001 n=7+6)
	alloc/op		delta
RuntimeStorageWriteCached-2	83.7kB ± 0%	83.7kB ± 0%	~	(p=0.182 n=6+6)
RuntimeFungibleTokenTransfer-2	233kB ± 0%	233kB ± 0%	~	(p=0.535 n=7+7)
RuntimeResourceDictionaryValues-2	4.34MB ± 0%	4.34MB ± 0%	~	(p=0.710 n=7+7)
QualifiedIdentifierCreation/One_level-2	0.00B	0.00B	~	(all equal)
QualifiedIdentifierCreation/Three_levels-2	64.0B ± 0%	64.0B ± 0%	~	(all equal)
CheckContractInterfaceFungibleTokenConformance-2	66.4kB ± 0%	66.4kB ± 0%	~	(p=0.073 n=7+7)
ContractInterfaceFungibleToken-2	26.7kB ± 0%	26.7kB ± 0%	~	(all equal)
NewInterpreter/new_interpreter-2	680B ± 0%	680B ± 0%	~	(all equal)
NewInterpreter/new_sub-interpreter-2	1.06kB ± 0%	1.06kB ± 0%	~	(all equal)
InterpretRecursionFib-2	1.21MB ± 0%	1.21MB ± 0%	~	(all equal)
	allocs/op		delta
RuntimeStorageWriteCached-2	1.42k ± 0%	1.42k ± 0%	~	(all equal)
RuntimeFungibleTokenTransfer-2	4.42k ± 0%	4.42k ± 0%	~	(all equal)
RuntimeResourceDictionaryValues-2	108k ± 0%	108k ± 0%	~	(p=0.927 n=7+7)
QualifiedIdentifierCreation/One_level-2	0.00	0.00	~	(all equal)
QualifiedIdentifierCreation/Three_levels-2	2.00 ± 0%	2.00 ± 0%	~	(all equal)
CheckContractInterfaceFungibleTokenConformance-2	1.07k ± 0%	1.07k ± 0%	~	(all equal)
ContractInterfaceFungibleToken-2	458 ± 0%	458 ± 0%	~	(all equal)
NewInterpreter/new_interpreter-2	11.0 ± 0%	11.0 ± 0%	~	(all equal)
NewInterpreter/new_sub-interpreter-2	31.0 ± 0%	31.0 ± 0%	~	(all equal)
InterpretRecursionFib-2	25.0k ± 0%	25.0k ± 0%	~	(all equal)

[SupunS]

Looks good!