aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/core/MemberBinding.scala
diff options
context:
space:
mode:
Diffstat (limited to 'src/dotty/tools/dotc/core/MemberBinding.scala')
-rw-r--r--src/dotty/tools/dotc/core/MemberBinding.scala35
1 files changed, 0 insertions, 35 deletions
diff --git a/src/dotty/tools/dotc/core/MemberBinding.scala b/src/dotty/tools/dotc/core/MemberBinding.scala
deleted file mode 100644
index bff8b30a0..000000000
--- a/src/dotty/tools/dotc/core/MemberBinding.scala
+++ /dev/null
@@ -1,35 +0,0 @@
-package dotty.tools.dotc.core
-
-import Names.Name
-import Contexts.Context
-import Types.{Type, TypeBounds}
-
-/** A common super trait of Symbol and Refinement.
- * Used to capture the attributes of type parameters
- * which can be implemented as either symbols or refinements.
- * TODO: Rename (TypeParamInfo?)
- */
-trait MemberBinding {
-
- /** Does this binding represent a type parameter?
- * Only in that case the rest of the binding's methods are significant.
- */
- def isTypeParam(implicit ctx: Context): Boolean
-
- /** The name of the member */
- def memberName(implicit ctx: Context): Name
-
- /** The info of the member */
- def memberBounds(implicit ctx: Context): TypeBounds
-
- /** The info of the member as seen from a prefix type.
- * This can be different from `memberInfo` if the binding
- * is a type symbol of a class.
- */
- def memberBoundsAsSeenFrom(pre: Type)(implicit ctx: Context): TypeBounds
-
- /** The variance of the type parameter
- * @pre: isTypeParam = true
- */
- def memberVariance(implicit ctx: Context): Int
-} \ No newline at end of file