From dcacacefad93a5073568cd3d7e04aea0b0c8a42e Mon Sep 17 00:00:00 2001 From: Him188 Date: Thu, 6 Jan 2022 20:16:39 +0000 Subject: [PATCH] Make CommandParameter sealed --- .../mirai-console/src/command/descriptor/CommandParameter.kt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mirai-console/backend/mirai-console/src/command/descriptor/CommandParameter.kt b/mirai-console/backend/mirai-console/src/command/descriptor/CommandParameter.kt index 4ff11c12f..1fa102d9d 100644 --- a/mirai-console/backend/mirai-console/src/command/descriptor/CommandParameter.kt +++ b/mirai-console/backend/mirai-console/src/command/descriptor/CommandParameter.kt @@ -31,7 +31,7 @@ import kotlin.reflect.typeOf * Inherited instances must be [CommandValueParameter] or [CommandReceiverParameter] */ @ExperimentalCommandDescriptors -public interface CommandParameter { +public sealed interface CommandParameter { public val name: String? public val isOptional: Boolean