org.jetbrains.kotlin.types.error.ErrorScopeKind.kt Maven / Gradle / Ivy
/*
* Copyright 2010-2022 JetBrains s.r.o. and Kotlin Programming Language contributors.
* Use of this source code is governed by the Apache 2.0 license that can be found in the license/LICENSE.txt file.
*/
package org.jetbrains.kotlin.types.error
enum class ErrorScopeKind(val debugMessage: String) {
/* Special type scopes */
CAPTURED_TYPE_SCOPE("No member resolution should be done on captured type, it used only during constraint system resolution"),
INTEGER_LITERAL_TYPE_SCOPE("Scope for integer literal type (%s)"),
ERASED_RECEIVER_TYPE_SCOPE("Error scope for erased receiver type"),
SCOPE_FOR_ABBREVIATION_TYPE("Scope for abbreviation %s"),
STUB_TYPE_SCOPE("Scope for stub type %s"),
NON_CLASSIFIER_SUPER_TYPE_SCOPE("A scope for common supertype which is not a normal classifier"),
ERROR_TYPE_SCOPE("Scope for error type %s"),
UNSUPPORTED_TYPE_SCOPE("Scope for unsupported type %s"),
/* Other scopes */
SCOPE_FOR_ERROR_CLASS("Error scope for class %s with arguments: %s"),
SCOPE_FOR_ERROR_RESOLUTION_CANDIDATE("Error resolution candidate for call %s"),
;
}