Non-wildcard existentials

[xeno-by]

class C {
  type X = List[T] forSome { type T }
}

different nsc (-) vs rsc (+): _empty_/C#X#
 signature {
   typeSignature {
     type_parameters {
     }
     lower_bound {
-      existentialType {
-        tpe {
-          typeRef {
-            prefix {
-            }
-            symbol: "scala/package.List#"
-            type_arguments {
-              typeRef {
-                prefix {
-                }
-                symbol: "localNNN"
-              }
-            }
-          }
-        }
-        declarations {
-          hardlinks {
-            symbol: "localNNN"
-            kind: TYPE
-            properties: 4
-            name: "T"
-            accessibility {
-              tag: PUBLIC
-              symbol: ""
-            }
-            language: SCALA
-            signature {
-              typeSignature {
-                type_parameters {
-                }
-                lower_bound {
-                  typeRef {
-                    prefix {
-                    }
-                    symbol: "scala/Nothing#"
-                  }
-                }
-                upper_bound {
-                  typeRef {
-                    prefix {
-                    }
-                    symbol: "scala/Any#"
-                  }
-                }
-              }
-            }
-          }
-        }
-      }
     }
     upper_bound {
-      existentialType {
-        tpe {
-          typeRef {
-            prefix {
-            }
-            symbol: "scala/package.List#"
-            type_arguments {
-              typeRef {
-                prefix {
-                }
-                symbol: "localNNN"
-              }
-            }
-          }
-        }
-        declarations {
-          hardlinks {
-            symbol: "localNNN"
-            kind: TYPE
-            properties: 4
-            name: "T"
-            accessibility {
-              tag: PUBLIC
-              symbol: ""
-            }
-            language: SCALA
-            signature {
-              typeSignature {
-                type_parameters {
-                }
-                lower_bound {
-                  typeRef {
-                    prefix {
-                    }
-                    symbol: "scala/Nothing#"
-                  }
-                }
-                upper_bound {
-                  typeRef {
-                    prefix {
-                    }
-                    symbol: "scala/Any#"
-                  }
-                }
-              }
-            }
-          }
-        }
-      }
     }
   }
 }

[xeno-by]

xeno-by@0ac8293 adds support for outlining non-wildcard existentials. Supporting these types in mjar is left for future work.