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

(Kay Großblotekamp) #1

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!) {
		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
RemObjects Elements (Oxygene, C# and Silver) for .NET, Cocoa and Java.
Copyright 2003-2016 RemObjects Software, LLC. All rights reserved.

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

RemObjects Everwood
RemObjects Everwood
Copyright RemObjects Software, LLC 2002-2016. All Rights Reserved.

(RemObjects) #2

Thanks, logged as bugs://77300

(RemObjects) #3

bugs://77300 got closed with status fixed.