package innerClassPatternMatching;

public class OuterClass {
	public class InnerClass { }
	
	public Object getInnerClassInstance() {
		return new InnerClass();
	}
}

package innerClassPatternMatching

class Bug {
	def show() : Unit = {
		//get inner class as some instance of super type
		var oc = new OuterClass();
		var icObj = oc.getInnerClassInstance();
		
		//get a stable identifier on outer class
		val ocStable = oc;
		
		//these will work
		icObj.isInstanceOf[ocStable.InnerClass];
		icObj.asInstanceOf[ocStable.InnerClass];
		
		//this will fail with java.lang.NoSuchMethodError
		icObj match {
			case ic : ocStable.InnerClass =>;
		}
	}
}