Broken code gets compiled... and throws java verify error at runtime

The following code gets compiled without errors!!

public protocol testP{
 static func a(_ x: Int)->Int
  static func b()
}

class protoImp: testP{
//surely i get reminded by the
// typechecker to implement missing features
}

public class MainActivity: Activity {

	public override func onCreate(_ savedInstanceState: Bundle!) {
		super.onCreate(savedInstanceState)
		ContentView = R.layout.main
		let res = protoImp.a(5)
	}
}

And throws java verify error at runtime… very nasty to debug…
Version info:
Microsoft Visual Studio 2015 Shell (Integrated)
Version 14.0.23107.0 D14REL
Microsoft .NET Framework
Version 4.6.00081

Installed Version: IDE Standard

RemObjects Elements 9.0.97.2071
RemObjects Elements (Oxygene, C# and Silver) for .NET, Cocoa and Java.
Copyright 2003-2016 RemObjects Software, LLC. All rights reserved.
http://www.remobjects.com/elements

RemObjects Elements leverages the LLVM compiler backend:
Copyright © 2003-2016 University of Illinois at Urbana-Champaign. All rights reserved.
http://llvm.org

RemObjects Everwood 4.7.79.695
RemObjects Everwood
Copyright RemObjects Software, LLC 2002-2016. All Rights Reserved.
http://www.remobjects.com/everwood

Thanks, logged as bugs://77300

bugs://77300 got closed with status fixed.

Logged as bugs://i65031.

bugs://i65031 was closed as fixed.