Subversion Repositories openrisc

// Copyright 2011 The Go Authors. All rights reserved.
// Use of this source code is governed by a BSD-style
// license that can be found in the LICENSE file.

package main

import (
        "./p"
)

type Exported interface {
        private()
}

type Implementation struct{}

func (p *Implementation) private() {}


func main() {
        // nothing unusual here
        var x Exported
        x = new(Implementation)
        x.private()  //  main.Implementation.private()

        // same here - should be and is legal
        var px p.Exported
        px = p.X
        
        // this assignment is correctly illegal:
        //      px.private undefined (cannot refer to unexported field or method private)
        // px.private()

        // this assignment is correctly illegal:
        //      *Implementation does not implement p.Exported (missing p.private method)
        // px = new(Implementation)

        // this assignment is correctly illegal:
        //      p.Exported does not implement Exported (missing private method)
        // x = px

        // this assignment unexpectedly compiles and then executes
        defer func() {
                recover()
        }()
        x = px.(Exported)
        
        println("should not get this far")

        // this is a legitimate call, but because of the previous assignment,
        // it invokes the method private in p!
        x.private()  // p.Implementation.private()
}