test/fixedbugs/notinheap.go

   1 // errorcheck -+
   2
   3 // Copyright 2016 The Go Authors. All rights reserved.
   4 // Use of this source code is governed by a BSD-style
   5 // license that can be found in the LICENSE file.
   6
   7 // Test type-checking errors for go:notinheap.
   8
   9 package p
  10
  11 //go:notinheap
  12 type nih struct{}
  13
  14 type embed4 map[nih]int // ERROR "incomplete \(or unallocatable\) map key not allowed"
  15
  16 type embed5 map[int]nih // ERROR "incomplete \(or unallocatable\) map value not allowed"
  17
  18 type emebd6 chan nih // ERROR "chan of incomplete \(or unallocatable\) type not allowed"
  19
  20 type okay1 *nih
  21
  22 type okay2 []nih
  23
  24 type okay3 func(x nih) nih
  25
  26 type okay4 interface {
  27         f(x nih) nih
  28 }
  29
  30 // Type conversions don't let you sneak past notinheap.
  31
  32 type t1 struct{ x int }
  33
  34 //go:notinheap
  35 type t2 t1
  36
  37 //go:notinheap
  38 type t3 byte
  39
  40 //go:notinheap
  41 type t4 rune
  42
  43 var sink interface{}
  44
  45 func i() {
  46         sink = new(t1)                     // no error
  47         sink = (*t2)(new(t1))              // ERROR "cannot convert(.|\n)*t2 is incomplete \(or unallocatable\)"
  48         sink = (*t2)(new(struct{ x int })) // ERROR "cannot convert(.|\n)*t2 is incomplete \(or unallocatable\)"
  49         sink = []t3("foo")                 // ERROR "cannot convert(.|\n)*t3 is incomplete \(or unallocatable\)"
  50         sink = []t4("bar")                 // ERROR "cannot convert(.|\n)*t4 is incomplete \(or unallocatable\)"
  51 }