Skip to content

ICE with invalid generics syntax #1745

@cpyrgas

Description

@cpyrgas

https://www.xsharp.eu/forum/topic?p=34583#p34583

Following results to an ICE:

FUNCTION Start( ) AS VOID
LOCAL o AS OBJECT
o := List<STRING>(){}

error XS9999: An internal compiler error has occurred: 'Unexpected value '0' of type 'System.Int32'',    at LanguageService.CodeAnalysis.XSharp.Binder.BindTupleType(TupleTypeSyntax syntax, DiagnosticBag diagnostics, ConsList`1 basesBeingResolved)
   at LanguageService.CodeAnalysis.XSharp.Binder.BindNamespaceOrTypeOrAliasSymbol(ExpressionSyntax syntax, DiagnosticBag diagnostics, ConsList`1 basesBeingResolved, Boolean suppressUseSiteDiagnostics)
   at LanguageService.CodeAnalysis.XSharp.Binder.XsBindNamespaceOrTypeOrAliasSymbol(ExpressionSyntax syntax, DiagnosticBag diagnostics, ConsList`1 basesBeingResolved, Boolean suppressUseSiteDiagnostics, Boolean includeNameSpace)
   at LanguageService.CodeAnalysis.XSharp.Binder.BindTypeOrAlias(ExpressionSyntax syntax, DiagnosticBag diagnostics, ConsList`1 basesBeingResolved, Boolean suppressUseSiteDiagnostics)
   at LanguageService.CodeAnalysis.XSharp.Binder.BindType(ExpressionSyntax syntax, DiagnosticBag diagnostics, ConsList`1 basesBeingResolved, Boolean suppressUseSiteDiagnostics)
   at LanguageService.CodeAnalysis.XSharp.Binder.BindObjectCreationExpression(ObjectCreationExpressionSyntax node, DiagnosticBag diagnostics)
   at LanguageService.CodeAnalysis.XSharp.Binder.BindExpressionInternal(ExpressionSyntax node, DiagnosticBag diagnostics, Boolean invoked, Boolean indexed)
   at LanguageService.CodeAnalysis.XSharp.Binder.BindExpression(ExpressionSyntax node, DiagnosticBag diagnostics, Boolean invoked, Boolean indexed)
   at LanguageService.CodeAnalysis.XSharp.Binder.BindSimpleBinaryOperator(BinaryExpressionSyntax node, DiagnosticBag diagnostics)
   at LanguageService.CodeAnalysis.XSharp.Binder.BindExpressionInternal(ExpressionSyntax node, DiagnosticBag diagnostics, Boolean invoked, Boolean indexed)
   at LanguageService.CodeAnalysis.XSharp.Binder.BindExpression(ExpressionSyntax node, DiagnosticBag diagnostics, Boolean invoked, Boolean indexed)
   at LanguageService.CodeAnalysis.XSharp.Binder.BindAssignment(AssignmentExpressionSyntax node, DiagnosticBag diagnostics)
   at LanguageService.CodeAnalysis.XSharp.Binder.BindExpressionInternal(ExpressionSyntax node, DiagnosticBag diagnostics, Boolean invoked, Boolean indexed)
   at LanguageService.CodeAnalysis.XSharp.Binder.BindExpression(ExpressionSyntax node, DiagnosticBag diagnostics, Boolean invoked, Boolean indexed)
   at LanguageService.CodeAnalysis.XSharp.Binder.BindExpressionStatement(XSharpSyntaxNode node, ExpressionSyntax syntax, Boolean allowsAnyExpression, DiagnosticBag diagnostics)
   at LanguageService.CodeAnalysis.XSharp.Binder.BindExpressionStatement(ExpressionStatementSyntax node, DiagnosticBag diagnostics)
   at LanguageService.CodeAnalysis.XSharp.Binder.BindStatement(StatementSyntax node, DiagnosticBag diagnostics)
   at LanguageService.CodeAnalysis.XSharp.Binder.BindBlockParts(BlockSyntax node, DiagnosticBag diagnostics)
   at LanguageService.CodeAnalysis.XSharp.Binder.BindBlock(BlockSyntax node, DiagnosticBag diagnostics)
   at LanguageService.CodeAnalysis.XSharp.Binder.BindStatement(StatementSyntax node, DiagnosticBag diagnostics)
   at LanguageService.CodeAnalysis.XSharp.Binder.BindMethodBody(XSharpSyntaxNode declaration, BlockSyntax blockBody, ArrowExpressionClauseSyntax expressionBody, DiagnosticBag diagnostics)
   at LanguageService.CodeAnalysis.XSharp.Binder.BindMethodBody(XSharpSyntaxNode syntax, DiagnosticBag diagnostics)
   at LanguageService.CodeAnalysis.XSharp.MethodCompiler.BindMethodBody(MethodSymbol method, TypeCompilationState compilationState, DiagnosticBag diagnostics, VariableState nullableInitialState, ImportChain& importChain, Boolean& originalBodyNested, InitialState& forSemanticModel)
   at LanguageService.CodeAnalysis.XSharp.MethodCompiler.CompileMethod(MethodSymbol methodSymbol, Int32 methodOrdinal, ProcessedFieldInitializers& processedInitializers, SynthesizedSubmissionFields previousSubmissionFields, TypeCompilationState compilationState)



Metadata

Metadata

Type

Projects

Status

In progress

Status

Needs testing

Relationships

None yet

Development

No branches or pull requests

Issue actions