final Method m1 = MapType.class.getMethod("mapOfStringToObject");
        final Type t1 = m1.getGenericReturnType();
        assertThat(GenericsUtil.isTypeOf(t1, Map.class), is(true));
        assertThat(GenericsUtil.getKeyTypeOfMap(t1), is(sameClass(String.class)));
        assertThat(GenericsUtil.getValueTypeOfMap(t1), is(sameClass(Object.class)));

        final Method m2 = MapType.class.getMethod("mapOfClassToString");

		}
		f.walk(n.Params, ctxParam, visit)
		if n.Results != nil {
			f.walk(n.Results, ctxParam, visit)
		}
	case *ast.InterfaceType:
		f.walk(n.Methods, ctxField, visit)
	case *ast.MapType:
		f.walk(&n.Key, ctxType, visit)
		f.walk(&n.Value, ctxType, visit)
	case *ast.ChanType:
		f.walk(&n.Value, ctxType, visit)

	case *ast.BadStmt:
	case *ast.DeclStmt:
		f.walk(n.Decl, ctxDecl, visit)

		// type that contains a pointer.
		if unionWithPointer[t.X] {
			return true
		}
		return p.hasPointer(f, t.X, false)
	case *ast.FuncType, *ast.InterfaceType, *ast.MapType, *ast.ChanType:
		return true
	case *ast.Ident:
		// TODO: Handle types defined within function.
		for _, d := range p.Decl {
			gd, ok := d.(*ast.GenDecl)
			if !ok || gd.Tok != token.TYPE {

</p>

<pre class="ebnf">
Type      = TypeName | TypeLit | "(" Type ")" .
TypeName  = identifier | QualifiedIdent .
TypeLit   = ArrayType | StructType | PointerType | FunctionType | InterfaceType |
	    SliceType | MapType | ChannelType .
</pre>

<p>
The language <a href="#Predeclared_identifiers">predeclares</a> certain type names.
Others are introduced with <a href="#Type_declarations">type declarations</a>.

TypeName  = identifier | QualifiedIdent .
TypeArgs  = "[" TypeList [ "," ] "]" .
TypeList  = Type { "," Type } .
TypeLit   = ArrayType | StructType | PointerType | FunctionType | InterfaceType |
            SliceType | MapType | ChannelType .
</pre>

<p>
The language <a href="#Predeclared_identifiers">predeclares</a> certain type names.
Others are introduced with <a href="#Type_declarations">type declarations</a>

pkg go/ast, type LabeledStmt struct, Label *Ident
pkg go/ast, type LabeledStmt struct, Stmt Stmt
pkg go/ast, type MapType struct
pkg go/ast, type MapType struct, Key Expr
pkg go/ast, type MapType struct, Map token.Pos
pkg go/ast, type MapType struct, Value Expr
pkg go/ast, type MergeMode uint
pkg go/ast, type Node interface { End, Pos }
pkg go/ast, type Node interface, End() token.Pos

pkg syscall (linux-386), const MAP_PRIVATE = 2
pkg syscall (linux-386), const MAP_SHARED = 1
pkg syscall (linux-386), const MAP_STACK = 131072
pkg syscall (linux-386), const MAP_TYPE = 15
pkg syscall (linux-386), const MCL_CURRENT = 1
pkg syscall (linux-386), const MCL_FUTURE = 2
pkg syscall (linux-386), const MNT_DETACH = 2
pkg syscall (linux-386), const MNT_EXPIRE = 4

pkg syscall (linux-arm-cgo), const MAP_POPULATE ideal-int
pkg syscall (linux-arm-cgo), const MAP_PRIVATE ideal-int
pkg syscall (linux-arm-cgo), const MAP_SHARED ideal-int
pkg syscall (linux-arm-cgo), const MAP_TYPE ideal-int
pkg syscall (linux-arm-cgo), const MCL_CURRENT ideal-int
pkg syscall (linux-arm-cgo), const MCL_FUTURE ideal-int
pkg syscall (linux-arm-cgo), const MNT_DETACH ideal-int