Details

      Description

      % scalac29 ./a.scala 
      ./a.scala:8: error: type mismatch;
       found   : (x: Int)Int <and> => String
       required: Int
        val z: Int = a
                     ^
      one error found
       
      % scalac210 ./a.scala 
      ./a.scala:8: error: type mismatch;
       found   : <error>
       required: Int
        val z: Int = a
                     ^
      one error found
      

      abstract class Base {
        def a: String = "one"
      }
      class Clazz extends Base {
        def a(x: Int): Int = 2
        val z: Int = a
      }
      

        Attachments

          Issue Links

            Activity

              People

              • Assignee:
                plocinic Hubert Plociniczak
                Reporter:
                extempore Paul Phillips
              • Votes:
                0 Vote for this issue
                Watchers:
                4 Start watching this issue

                Dates

                • Created:
                  Updated:
                  Resolved: