DiagnosticContextInfo (F# Compiler Guide) | F# Compiler Guide

F# Compiler Guide

DiagnosticContextInfo Type

Namespace: FSharp.Compiler.Diagnostics
Assembly: FSharp.Compiler.Service.dll
Parent Module: ExtendedData
Base Type: obj
All Interfaces: IStructuralEquatable , IComparable<DiagnosticContextInfo> , IComparable , IStructuralComparable

Information about the context of a type equation in type-mismatch-like diagnostic

Union cases

Union case	Description
`CollectionElement` Full Usage: `CollectionElement`	The type equation comes from a list or array constructor
`DowncastUsedInsteadOfUpcast` Full Usage: `DowncastUsedInsteadOfUpcast`	The type equation comes from an downcast where a upcast could be used
`ElseBranchResult` Full Usage: `ElseBranchResult`	The type equation comes from a type check of the result of an else branch
`FollowingPatternMatchClause` Full Usage: `FollowingPatternMatchClause`	The type equation comes from a return type of a pattern match clause (not the first clause)
`IfExpression` Full Usage: `IfExpression`	The type equation comes from an IF expression
`NoContext` Full Usage: `NoContext`	No context was given
`OmittedElseBranch` Full Usage: `OmittedElseBranch`	The type equation comes from an omitted else branch
`PatternMatchGuard` Full Usage: `PatternMatchGuard`	The type equation comes from a pattern match guard
`RecordFields` Full Usage: `RecordFields`	The type equation comes from the verification of record fields
`ReturnInComputationExpression` Full Usage: `ReturnInComputationExpression`	The type equation comes from a return in a computation expression
`RuntimeTypeTest` Full Usage: `RuntimeTypeTest`	The type equation comes from a runtime type test
`SequenceExpression` Full Usage: `SequenceExpression`	The type equation comes from a sequence expression
`TupleInRecordFields` Full Usage: `TupleInRecordFields`	The type equation comes from the verification of a tuple in record fields
`YieldInComputationExpression` Full Usage: `YieldInComputationExpression`	The type equation comes from a yield in a computation expression

Instance members

Instance member	Description
`this.IsCollectionElement` Full Usage: `this.IsCollectionElement` Returns: `bool`	Returns: `bool`
`this.IsDowncastUsedInsteadOfUpcast` Full Usage: `this.IsDowncastUsedInsteadOfUpcast` Returns: `bool`	Returns: `bool`
`this.IsElseBranchResult` Full Usage: `this.IsElseBranchResult` Returns: `bool`	Returns: `bool`
`this.IsFollowingPatternMatchClause` Full Usage: `this.IsFollowingPatternMatchClause` Returns: `bool`	Returns: `bool`
`this.IsIfExpression` Full Usage: `this.IsIfExpression` Returns: `bool`	Returns: `bool`
`this.IsNoContext` Full Usage: `this.IsNoContext` Returns: `bool`	Returns: `bool`
`this.IsOmittedElseBranch` Full Usage: `this.IsOmittedElseBranch` Returns: `bool`	Returns: `bool`
`this.IsPatternMatchGuard` Full Usage: `this.IsPatternMatchGuard` Returns: `bool`	Returns: `bool`
`this.IsRecordFields` Full Usage: `this.IsRecordFields` Returns: `bool`	Returns: `bool`
`this.IsReturnInComputationExpression` Full Usage: `this.IsReturnInComputationExpression` Returns: `bool`	Returns: `bool`
`this.IsRuntimeTypeTest` Full Usage: `this.IsRuntimeTypeTest` Returns: `bool`	Returns: `bool`
`this.IsSequenceExpression` Full Usage: `this.IsSequenceExpression` Returns: `bool`	Returns: `bool`
`this.IsTupleInRecordFields` Full Usage: `this.IsTupleInRecordFields` Returns: `bool`	Returns: `bool`
`this.IsYieldInComputationExpression` Full Usage: `this.IsYieldInComputationExpression` Returns: `bool`	Returns: `bool`