| // Copyright 2019 The Fuchsia Authors. All rights reserved. | |
| // Use of this source code is governed by a BSD-style license that can be | |
| // found in the LICENSE file. | |
| library banjo.examples.badtype; | |
| @transport("Banjo") | |
| @banjo_layout("ddk-protocol") | |
| protocol BadType { | |
| BadType(struct { | |
| p uint64_t; | |
| }) -> (); | |
| }; |