// Copyright 2022 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.

//go:build goexperiment.arenas

package main

import "arena"

func main() {
	a := arena.NewArena()
	x := arena.New[[200]byte](a)
	x[0] = 9
	a.Free()
	// Use after free.
	//
	// ASAN should detect this deterministically as Free
	// should poison the arena memory.
	//
	// MSAN should detect that this access is to freed
	// memory. This may crash with an "accessed freed arena
	// memory" error before MSAN gets a chance, but if MSAN
	// was not enabled there would be a chance that this
	// could fail to crash on its own.
	println(x[0])
}