Add meeting notes for interface inheritance meeting

[SupunS]

Description

Adds the notes for the meeting held on 16th Nov, 2022, to discuss details of interface inheritance.

---

• 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

[turbolent]

👍

[codecov]

Codecov Report

Merging #2144 (85309b8) into master (2926beb) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##           master    #2144   +/-   ##
=======================================
  Coverage   77.94%   77.94%           
=======================================
  Files         307      307           
  Lines       64026    64026           
=======================================
  Hits        49902    49902           
  Misses      12331    12331           
  Partials     1793     1793           

Flag	Coverage Δ
unittests	77.94% <ø> (ø)

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

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

[github-actions]

Cadence Benchstat comparison

This branch with compared with the base branch onflow:master commit 2926beb
The command for i in {1..N}; do go test ./... -run=XXX -bench=. -benchmem -shuffle=on; done was used.
Bench tests were run a total of 7 times on each branch.

Collapsed results for better readability

	old.txt	new.txt
	time/op		delta
CheckContractInterfaceFungibleTokenConformance-2	116µs ± 6%	116µs ± 4%	~	(p=0.620 n=7+7)
ContractInterfaceFungibleToken-2	40.7µs ± 6%	40.0µs ± 6%	~	(p=0.295 n=6+7)
InterpretRecursionFib-2	2.30ms ± 4%	2.29ms ± 6%	~	(p=0.902 n=7+7)
NewInterpreter/new_interpreter-2	1.08µs ± 5%	1.04µs ± 4%	~	(p=0.100 n=7+6)
NewInterpreter/new_sub-interpreter-2	576ns ± 4%	580ns ± 6%	~	(p=0.945 n=6+7)
ParseArray-2	7.33ms ± 5%	7.51ms ± 1%	~	(p=0.065 n=6+6)
ParseDeploy/byte_array-2	11.2ms ± 6%	11.5ms ± 5%	~	(p=0.383 n=7+7)
ParseDeploy/decode_hex-2	1.17ms ± 8%	1.13ms ± 3%	~	(p=0.128 n=7+7)
ParseFungibleToken/With_memory_metering-2	177µs ± 5%	178µs ± 4%	~	(p=0.620 n=7+7)
ParseFungibleToken/Without_memory_metering-2	140µs ± 6%	143µs ± 9%	~	(p=0.620 n=7+7)
ParseInfix-2	6.50µs ± 6%	6.48µs ± 4%	~	(p=0.805 n=7+7)
QualifiedIdentifierCreation/One_level-2	2.19ns ± 7%	2.08ns ± 2%	~	(p=0.221 n=7+6)
QualifiedIdentifierCreation/Three_levels-2	132ns ± 4%	129ns ± 5%	~	(p=0.165 n=7+7)
RuntimeFungibleTokenTransfer-2	724µs ± 5%	611µs ±22%	−15.70%	(p=0.014 n=6+7)
RuntimeResourceDictionaryValues-2	4.89ms ± 7%	5.08ms ± 3%	~	(p=0.138 n=7+6)
RuntimeScriptNoop-2	19.3µs ±38%	18.9µs ±44%	~	(p=1.000 n=7+7)
SuperTypeInference/arrays-2	296ns ± 4%	284ns ± 4%	−4.16%	(p=0.034 n=7+7)
SuperTypeInference/composites-2	126ns ±21%	122ns ± 8%	~	(p=0.216 n=7+7)
SuperTypeInference/integers-2	90.1ns ± 0%	80.6ns ± 4%	−10.57%	(p=0.002 n=6+6)
ValueIsSubtypeOfSemaType-2	85.8ns ± 8%	85.9ns ± 6%	~	(p=0.779 n=7+7)
	alloc/op		delta
CheckContractInterfaceFungibleTokenConformance-2	51.0kB ± 0%	51.0kB ± 0%	~	(all equal)
ContractInterfaceFungibleToken-2	24.7kB ± 0%	24.7kB ± 0%	~	(all equal)
InterpretRecursionFib-2	1.00MB ± 0%	1.00MB ± 0%	~	(p=0.286 n=7+7)
NewInterpreter/new_interpreter-2	752B ± 0%	752B ± 0%	~	(all equal)
NewInterpreter/new_sub-interpreter-2	200B ± 0%	200B ± 0%	~	(all equal)
ParseArray-2	2.73MB ± 3%	2.74MB ± 3%	~	(p=0.902 n=7+7)
ParseDeploy/byte_array-2	4.13MB ± 3%	4.16MB ± 2%	~	(p=0.826 n=7+7)
ParseDeploy/decode_hex-2	214kB ± 0%	214kB ± 0%	~	(p=0.327 n=7+7)
ParseFungibleToken/With_memory_metering-2	29.3kB ± 0%	29.4kB ± 0%	~	(p=0.538 n=6+7)
ParseFungibleToken/Without_memory_metering-2	29.4kB ± 0%	29.3kB ± 0%	~	(p=0.434 n=7+6)
ParseInfix-2	1.92kB ± 0%	1.92kB ± 0%	~	(p=0.832 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)
RuntimeFungibleTokenTransfer-2	103kB ± 1%	102kB ± 1%	~	(p=0.710 n=7+7)
RuntimeResourceDictionaryValues-2	2.28MB ± 0%	2.28MB ± 0%	~	(p=0.165 n=7+7)
RuntimeScriptNoop-2	8.50kB ± 0%	8.51kB ± 1%	~	(p=0.873 n=6+7)
SuperTypeInference/arrays-2	96.0B ± 0%	96.0B ± 0%	~	(all equal)
SuperTypeInference/composites-2	0.00B	0.00B	~	(all equal)
SuperTypeInference/integers-2	0.00B	0.00B	~	(all equal)
ValueIsSubtypeOfSemaType-2	48.0B ± 0%	48.0B ± 0%	~	(all equal)
	allocs/op		delta
CheckContractInterfaceFungibleTokenConformance-2	920 ± 0%	920 ± 0%	~	(all equal)
ContractInterfaceFungibleToken-2	444 ± 0%	444 ± 0%	~	(all equal)
InterpretRecursionFib-2	18.9k ± 0%	18.9k ± 0%	~	(all equal)
NewInterpreter/new_interpreter-2	13.0 ± 0%	13.0 ± 0%	~	(all equal)
NewInterpreter/new_sub-interpreter-2	4.00 ± 0%	4.00 ± 0%	~	(all equal)
ParseArray-2	59.6k ± 0%	59.6k ± 0%	~	(p=1.315 n=7+6)
ParseDeploy/byte_array-2	89.4k ± 0%	89.4k ± 0%	~	(p=1.000 n=7+7)
ParseDeploy/decode_hex-2	64.0 ± 0%	64.0 ± 0%	~	(all equal)
ParseFungibleToken/With_memory_metering-2	779 ± 0%	779 ± 0%	~	(all equal)
ParseFungibleToken/Without_memory_metering-2	779 ± 0%	779 ± 0%	~	(all equal)
ParseInfix-2	48.0 ± 0%	48.0 ± 0%	~	(all equal)
QualifiedIdentifierCreation/One_level-2	0.00	0.00	~	(all equal)
QualifiedIdentifierCreation/Three_levels-2	2.00 ± 0%	2.00 ± 0%	~	(all equal)
RuntimeFungibleTokenTransfer-2	2.01k ± 0%	2.01k ± 0%	~	(all equal)
RuntimeResourceDictionaryValues-2	37.0k ± 0%	37.0k ± 0%	~	(p=0.878 n=7+7)
RuntimeScriptNoop-2	137 ± 0%	137 ± 0%	~	(all equal)
SuperTypeInference/arrays-2	3.00 ± 0%	3.00 ± 0%	~	(all equal)
SuperTypeInference/composites-2	0.00	0.00	~	(all equal)
SuperTypeInference/integers-2	0.00	0.00	~	(all equal)
ValueIsSubtypeOfSemaType-2	1.00 ± 0%	1.00 ± 0%	~	(all equal)