@@ -66,11 +66,14 @@ class ExpandSAMs extends MiniPhase {
6666 case PartialFunctionRHS (pf) =>
6767 val anonSym = anon.symbol
6868
69+ val parents = List (defn.AbstractPartialFunctionType .appliedTo(tpe.argInfos), defn.SerializableType )
70+ val pfSym = ctx.newNormalizedClassSymbol(anonSym.owner, tpnme.ANON_CLASS , Synthetic | Final , parents, coord = tree.pos)
71+
6972 def overrideSym (sym : Symbol ) = sym.copy(
70- owner = anonSym.owner ,
71- flags = Synthetic | Method | Final ,
73+ owner = pfSym ,
74+ flags = Synthetic | Method | Final | Override ,
7275 info = tpe.memberInfo(sym),
73- coord = tree.pos).asTerm
76+ coord = tree.pos).asTerm.entered
7477 val isDefinedAtFn = overrideSym(defn.PartialFunction_isDefinedAt )
7578 val applyOrElseFn = overrideSym(defn.PartialFunction_applyOrElse )
7679
@@ -94,7 +97,7 @@ class ExpandSAMs extends MiniPhase {
9497 def isDefinedAtRhs (paramRefss : List [List [Tree ]]) = {
9598 val tru = Literal (Constant (true ))
9699 def translateCase (cdef : CaseDef ) =
97- cpy.CaseDef (cdef)(body = tru).changeOwner(anonSym, isDefinedAtFn)
100+ cpy.CaseDef (cdef)(body = tru).changeOwner(anonSym, isDefinedAtFn)(ctx.withOwner(isDefinedAtFn))
98101 val paramRef = paramRefss.head.head
99102 val defaultValue = Literal (Constant (false ))
100103 translateMatch(pf, paramRef.symbol, pf.cases.map(translateCase), defaultValue)
@@ -103,17 +106,16 @@ class ExpandSAMs extends MiniPhase {
103106 def applyOrElseRhs (paramRefss : List [List [Tree ]]) = {
104107 val List (paramRef, defaultRef) = paramRefss.head
105108 def translateCase (cdef : CaseDef ) =
106- cdef.changeOwner(anonSym, applyOrElseFn)
109+ cdef.changeOwner(anonSym, applyOrElseFn)(ctx.withOwner(applyOrElseFn))
107110 val defaultValue = defaultRef.select(nme.apply).appliedTo(paramRef)
108111 translateMatch(pf, paramRef.symbol, pf.cases.map(translateCase), defaultValue)
109112 }
110113
114+ val constr = ctx.newConstructor(pfSym, Synthetic , Nil , Nil ).entered
111115 val isDefinedAtDef = transformFollowingDeep(DefDef (isDefinedAtFn, isDefinedAtRhs(_)))
112116 val applyOrElseDef = transformFollowingDeep(DefDef (applyOrElseFn, applyOrElseRhs(_)))
113-
114- val parents = List (defn.AbstractPartialFunctionType .appliedTo(tpe.argInfos), defn.SerializableType )
115- val anonCls = AnonClass (parents, List (isDefinedAtFn, applyOrElseFn), List (nme.isDefinedAt, nme.applyOrElse))
116- cpy.Block (tree)(List (isDefinedAtDef, applyOrElseDef), anonCls)
117+ val pfDef = ClassDef (pfSym, DefDef (constr), List (isDefinedAtDef, applyOrElseDef))
118+ cpy.Block (tree)(pfDef :: Nil , New (pfSym.typeRef, Nil ))
117119
118120 case _ =>
119121 val found = tpe.baseType(defn.FunctionClass (1 ))
0 commit comments