Message

Value parameters

errorId

a unique id identifying the message, this will be used to reference documentation online Messages modify the rendendering of interpolated strings in several ways:

1. The size of the printed code is limited with a MessafeLimiter. If the message would get too large or too deeply nested, a ... is printed instead.
2. References to module classes are prefixed with object for better recogniability.
3. A where clause is sometimes added which contains the following additional explanations:
   • Rerences are disambiguated: If a message contains occurrences of the same identifier representing different symbols, the duplicates are printed with superscripts and the where-clause explains where each symbol is located.
   • Uninstantiated variables are explained in the where-clause with additional info about their bounds.
   • Skolems are explained with additional info about their underlying type. Messages inheriting from the NoDisambiguation trait or returned from the noDisambiguation() method skip point (3) above. This makes sense if the message already exolains where different occurrences of the same identifier are located. Examples are NamingMsgs such as double definition errors, overriding errors, and ambiguous implicit errors. We consciously made the design decision to disambiguate by default and disable disambiguation as an opt-in. The reason is that one usually does not consider all fine-grained details when writing an error message. If disambiguation is the default, some tests will show where clauses that look too noisy and that then can be disabled when needed. But if silence is the default, one usually does not realize that better info could be obtained by turning disambiguation on.

Attributes

Companion

object

Graph

Reset zoomHide graphShow graph

Supertypes

class Object

trait Matchable

class Any

Known subtypes

class CyclicMsg

class CyclicReferenceInvolving

class CyclicReferenceInvolvingImplicit

class IllegalCyclicTypeReference

class OverloadedOrRecursiveMethodNeedsResultType

class RecursiveValueNeedsResultType

class TermMemberNeedsResultTypeForImplicitSearch

class DeclarationMsg

class IllegalSuperAccessor

class OverloadInRefinement

class OverrideError

class OverridesNothing

class OverridesNothingButNameExists

class TraitParameterUsedAsParentPrefix

class UnapplyInvalidReturnType

class FailureToEliminateExistential

class LossyWideningConstantConversion

class MatchCaseUnreachable

class NamingMsg

class AlreadyDefined

class CannotHaveSameNameAs

class ClassAndCompanionNameClash

class DoubleDefinition

class DuplicateBind

class PackageNameAlreadyDefined

class PkgDuplicateSymbol

trait NoDisambiguation

class AmbiguousExtensionMethod

class AmbiguousOverload

class AmbiguousReference

class ConstrProxyShadows

class NoExplanation

class NotFoundMsg

class MissingIdent

class NotAMember

class PatternMatchExhaustivity

class PatternMatchMsg

class MatchCaseOnlyNullWarning

class UncheckedTypePattern

class ProperDefinitionNotFound

class PureExpressionInStatementPosition

class ReferenceMsg

class BadSymbolicReference

class CannotBeAccessed

class ForwardReferenceExtendsOverDefinition

class InvalidReferenceInImplicitNotFoundAnnotation

class SuperQualMustBeParent

class UnknownNamedEnclosingClassOrObject

trait ShowMatchTrace

class MissingImplicitArgument

class NotClassType

class NotConstant

class TypeMismatchMsg

class DoesNotConformToBound

class DoesNotConformToSelfType

class DoesNotConformToSelfTypeCantBeInstantiated

class IllegalParameterInit

class TypeMismatch

class SynchronizedCallOnBoxedClass

class SyntaxMsg

class AbstractMemberMayNotHaveModifier

class AbstractOverrideOnlyInTraits

class AnonymousInstanceCannotBeEmpty

class AuxConstructorNeedsNonImplicitParameter

class ByNameParameterNotSupported

class CannotExtendAnyVal

class CannotExtendContextFunction

class CannotExtendJavaEnum

class CaseClassInInlinedCode

class CaseClassMissingNonImplicitParamList

class CaseClassMissingParamList

class ClassCannotExtendEnum

class CyclicInheritance

class DeprecatedWithOperator

class DuplicateNamedTypeParameter

class DuplicatePrivateProtectedQualifier

class EarlyDefinitionsNotSupported

class EmptyCatchOrFinallyBlock

class EmptyCatchAndFinallyBlock

class EmptyCatchBlock

class EnumerationsShouldNotBeEmpty

class ErasedTypesCanOnlyBeFunctionTypes

class ExistentialTypesNoLongerSupported

class ExpectedStartOfTopLevelDefinition

class ExpectedTokenButFound

class ExpectedTypeBoundOrEquals

class ExtendFinalClass

class ExtensionCanOnlyHaveDefs

class ExtensionMethodCannotHaveTypeParams

class IdentifierExpected

class IllegalLiteral

class IllegalRedefinitionOfStandardKind

class IllegalStartOfSimplePattern

class IllegalStartOfStatement

class IllegalStartSimpleExpr

class IllegalVariableInPatternAlternative

class ImplicitCaseClass

class ImplicitClassPrimaryConstructorArity

class ImportedTwice

class InlineGivenShouldNotBeFunction

class InterpolatedStringError

class LazyStaticField

class MemberWithSameNameAsStatic

class MissingCompanionForStatic

class MissingEmptyArgumentList

class MissingReturnType

class MissingReturnTypeWithReturnStatement

class MissingTypeParameterFor

class MixedLeftAndRightAssociativeOps

class ModifierNotAllowedForDefinition

class NativeMembersMayNotHaveImplementation

class NoExtensionMethodAllowed

class NoReturnFromInlineable

class NotAnExtractor

class ObjectMayNotHaveSelfType

class OnlyClassesCanBeAbstract

class OnlyClassesCanHaveDeclaredButUndefinedMembers

class OnlyFunctionsCanBeFollowedByUnderscore

class ParamsNoInline

class PolymorphicMethodMissingTypeInParent

class RedundantModifier

class RepeatedModifier

class ReturnOutsideMethodDefinition

class SeqWildcardPatternPos

class StaticFieldsOnlyAllowedInObjects

class StaticFieldsShouldPrecedeNonStatic

class StaticOverridingNonStaticMembers

class SuperCallsNotAllowedInlineable

class SymbolChangedSemanticsInVersion

class SymbolHasUnparsableVersionNumber

class TailrecNotApplicable

class TargetNameOnTopLevelClass

class TopLevelImplicitClass

class TraitCompanionWithMutableStatic

class TraitIsExpected

class TraitMayNotDefineNativeMethod

class TraitRedefinedFinalMethodFromAnyRef

class TraitsMayNotBeFinal

class TypeTestAlwaysDiverges

class TypedCaseDoesNotExplicitlyExtendTypedEnum

class TypesAndTraitsCantBeImplicit

class UnableToEmitSwitch

class UnableToExtendSealedClass

class UnapplyInvalidNumberOfArguments

class UnboundPlaceholderParameter

class UnboundWildcardType

class UndefinedNamedTypeParameter

class UnexpectedPatternForSummonFrom

class UnimportedAndImported

class ValueClassNeedsOneValParam

class ValueClassParameterMayNotBeAVar

class ValueClassParameterMayNotBeCallByName

class ValueClassesMayNotBeAbstract

class ValueClassesMayNotBeContainted

class ValueClassesMayNotContainInitalization

class ValueClassesMayNotDefineASecondaryConstructor

class ValueClassesMayNotDefineInner

class ValueClassesMayNotDefineNonParameterField

class ValueClassesMayNotWrapAnotherValueClass

class VarArgsParamCannotBeGiven

class VarArgsParamMustComeLast

class VarValParametersMayNotBeCallByName

class WildcardOnTypeArgumentNotAllowedOnNew

class WrongNumberOfParameters

class WrongNumberOfTypeArgs

class YieldOrDoExpectedInForComprehension

class TypeMsg

class AnonymousFunctionMissingParamType

class CantInstantiateAbstractClassOrTrait

class ClosureCannotHaveInternalParameterDependencies

class ImplausiblePatternWarning

class ImplicitSearchTooLargeWarning

class JavaEnumParentArgs

class JavaSymbolIsNotAValue

class MatchTypeNoCases

class MatchTypeScrutineeCannotBeHigherKinded

class MatchableWarning

class MethodDoesNotTakeParameters

class MissingArgument

class MissingArgumentList

class MissingTypeParameterInTypeApp

class NoMatchingOverload

class NotAPath

class ReassignmentToVal

class SkolemInInferred

class StableIdentPattern

class TypeDoesNotTakeParameters

class UnreducibleApplication

class UnqualifiedCallToAnyRefMethod

class UnusedNonUnitValue

class ValueDiscarding

Show all

Self type

Message