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

package p

func _[P1 any, P2 ~byte](s1 P1, s2 P2) {
        _ = append(nil /* ERROR first argument to append must be a slice; have untyped nil */ , 0)
        _ = append(s1 /* ERROR s1 .* has no core type */ , 0)
        _ = append(s2 /* ERROR s2 .* has core type byte */ , 0)
}