Failures on [cfe] Update the conversion algorithm for checking super-bounded types

[chloestefantsova]

I'm working on an update for the instantiate-to-bound algorithm for NNBD, which is specified here. Doing so, I discovered some co19 tests that I think should be updated.

/cc @eernstg

List of discovered tests (click to expand)

co19/LanguageFeatures/Instantiate-to-bound/class/dynamic/class_typedef_l1_t03
co19/LanguageFeatures/Instantiate-to-bound/class/dynamic/class_typedef_l2_t03
co19/LanguageFeatures/Instantiate-to-bound/class/dynamic/class_typedef_l2_t07
co19/LanguageFeatures/Instantiate-to-bound/class/static/class_typedef_l1_t03
co19/LanguageFeatures/Instantiate-to-bound/class/static/class_typedef_l2_t03
co19/LanguageFeatures/Instantiate-to-bound/class/static/class_typedef_l2_t07
co19/LanguageFeatures/Instantiate-to-bound/typedef/dynamic/typedef_typedef_l1_t03
co19/LanguageFeatures/Instantiate-to-bound/typedef/dynamic/typedef_typedef_l1_t07
co19/LanguageFeatures/Instantiate-to-bound/typedef/dynamic/typedef_typedef_l1_t11
co19/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_01_t01
co19/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_01_t02
co19/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_01_t03
co19/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_01_t04
co19/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_01_t10
co19/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_01_t11
co19/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_01_t12
co19/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_01_t13
co19/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_01_t14
co19/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_01_t15
co19/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_02_t01
co19/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_02_t03
co19/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_02_t10
co19/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_02_t11
co19/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_02_t14
co19/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_02_t15
co19/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_03_t02
co19/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_03_t04
co19/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_03_t12
co19/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_03_t13
co19/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_03_t14
co19/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_03_t15
co19/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_04_t01
co19/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_04_t02
co19/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_04_t03
co19/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_04_t04
co19/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_04_t10
co19/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_04_t11
co19/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_04_t12
co19/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_04_t13
co19/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_04_t14
co19/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_04_t15
co19/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_05_t01
co19/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_05_t02
co19/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_05_t03
co19/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_05_t04
co19/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_05_t10
co19/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_05_t11
co19/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_05_t12
co19/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_05_t13
co19/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_05_t15
co19/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_06_t01
co19/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_06_t02
co19/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_06_t03
co19/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_06_t04
co19/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_06_t10
co19/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_06_t11
co19/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_06_t12
co19/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_06_t13
co19/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_06_t14
co19/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_06_t15
co19/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_typedef_l1_t03
co19/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_typedef_l1_t07
co19/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_typedef_l1_t11
co19/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_typedef_l1_t14
co19/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_typedef_l1_t15
co19/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_typedef_l1_t19

[chloestefantsova]

Sorry, wrong repository. Moved it here: dart-lang/co19#979