Problem with type safety feature

[GoogleCodeExporter]

// Why does "f" accept a String value when its type is explicitly defined?
// This method print "foo".

method main()
{
    val immutable File f = "foo";
    printLine(f);
}

Original issue reported on code.google.com by akefi...@gmail.com on 4 Dec 2012 at 12:00

[GoogleCodeExporter]

//And also, this method print "c is String!".
method main()
{
    val immutable Character c = "new String";
    match (c)
    {
        case String { printLine("c is String!"); }
        case Character  { printLine("c is Character!"); }
        default     { printLine("c is unknown!"); }
    };
}

Original comment by akefi...@gmail.com on 4 Dec 2012 at 12:06