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 a downcast where an 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 the 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