// 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; | |
}) -> (); | |
}; |