Array
BitArray
File
LLVM
- BasicBlock
- BasicBlockCollection
- Builder
- Context
- Function
- FunctionCollection
- Module
- TargetData
- Type
- ValueMethods
Savi
- AST
  - A
  - Annotation
  - Call
  - Choice
  - ComposeString
  - CopyOnMutateVisitor
  - Declare
  - Document
  - Extract
  - FieldDisplace
  - FieldRead
  - FieldWrite
  - Format
    - Edit
    - IndentState
      - Layer
    - Rule
  - Function
  - Gather
    - AnnotatedNodes
  - Group
  - Identifier
  - Jump
    - Kind
  - LiteralCharacter
  - LiteralFloat
  - LiteralInteger
  - LiteralString
  - Loop
  - Node
  - Operator
  - Prefix
  - Qualify
  - Relate
  - Term
  - Try
  - Visitor
  - Yield
- Compiler
  - Binary
  - BinaryObject
  - BinaryVerona
  - Classify
    - Analysis
    - Pass
    - TypeExprVisitor
    - Visitor
  - CodeGen
    - ContinuationInfo
    - DebugInfo
    - Frame
    - GenFunc
    - GenType
    - PonyRT
    - VeronaRT
  - Common
    - FindByPos
  - Completeness
    - Analysis
    - Branch
    - Pass
  - Context
  - Flow
    - Analysis
    - Block
    - Location
    - Pass
    - Visitor
  - Infer
    - AddressOf
    - Analysis
    - ArrayLiteral
    - ArrayLiteralElementAntecedent
    - Cap
    - Choice
    - Conduit
      - Aliased
      - ArrayLiteralElementAntecedent
      - Consumed
      - Direct
      - Inner
      - Union
    - Consume
    - DynamicInfo
    - ErrorInfo
    - ErrorOut
    - Field
    - FieldExtract
    - FieldRead
    - FixedEnumValue
    - FixedInfo
    - FixedPrelude
    - FixedSingleton
    - FixedTypeExpr
    - FromAssign
    - FromAssignNoAlias
    - FromCall
    - FromCallErrorOut
    - FromCallYieldOut
    - FromConstructor
    - FromYield
    - FuncAnalysis
    - FuncBody
    - Info
    - JumpBreak
    - JumpError
    - JumpInfo
    - JumpNext
    - JumpReturn
    - Literal
    - Local
    - LocalRef
    - Loop
    - MetaType
      - AntiNominal
      - Capability
      - Inner
      - Intersection
      - Nominal
      - Unconstrained
      - Union
      - Unsatisfiable
    - NamedInfo
    - Param
    - Pass
    - PassEdge
    - Phi
    - RecoverUnsafe
    - Refinement
    - ReflectionOfType
    - ReifiedFunction
    - ReifiedType
    - ReifiedTypeAlias
    - Self
    - Sequence
    - Span
      - ByReifyCap
      - ErrorPropagate
      - Fallback
      - Inner
      - Terminal
    - StackAddressOfVariable
    - StaticAddressOfFunction
    - Tether
    - TowardCallParam
    - TowardCallYieldIn
    - TypeAliasAnalysis
    - TypeAliasVisitor
    - TypeAnalysis
    - TypeCondition
    - TypeConditionForLocal
    - TypeConditionStatic
    - TypeExprEvaluator
    - TypeParam
    - TypeParamCondition
    - TypeVisitor
    - Visitor
    - YieldIn
    - YieldOut
  - Inventory
    - Analysis
    - Pass
    - TypeAnalysis
    - Visitor
  - Jumps
    - Analysis
    - JumpKind
    - Pass
    - Visitor
  - Lifetime
    - ForFunc
    - Info
    - PassAsArgument
    - ReleaseFromScope
  - Load
  - Local
    - Analysis
    - Pass
    - UseSite
    - Visitor
  - Macros
    - SimpleIdentifiers
    - Util
  - Manifests
  - Namespace
    - Analysis
  - Options
  - Paint
    - Color
  - Pass
    - Analyze
      - ReentranceError
  - Populate
    - ReplaceIdentifiersVisitor
  - PopulateTypes
  - PreInfer
    - Analysis
    - FuncVisitor
    - Pass
  - PreSubtyping
    - Analysis
    - Analyst
    - Pass
  - PreTInfer
    - Analysis
    - FuncVisitor
    - Pass
  - Privacy
    - Pass
  - Reach
    - Def
    - Func
    - Ref
    - Signature
  - Refer
    - Analysis
    - Field
    - Info
    - Local
    - Pass
    - Scope
    - Self
    - Type
    - TypeAlias
    - TypeParam
    - Unresolved
    - Visitor
  - ReferType
    - Analysis
    - Pass
    - Visitor
  - Reparse
  - Run
  - ServeDefinition
  - ServeHover
  - SourceService
  - SubtypingCache
    - ForReifiedFunc
    - ForReifiedType
    - MetaType
    - ReifiedFunction
    - ReifiedType
  - Sugar
  - Target
  - TInfer
    - AddressOf
    - Analysis
    - ArrayLiteral
    - ArrayLiteralElementAntecedent
    - Choice
    - Conduit
      - ArrayLiteralElementAntecedent
      - Direct
      - Inner
      - Union
    - Consume
    - DynamicInfo
    - ErrorInfo
    - ErrorOut
    - Field
    - FieldExtract
    - FieldRead
    - FixedEnumValue
    - FixedInfo
    - FixedPrelude
    - FixedSingleton
    - FixedTypeExpr
    - FromAssign
    - FromCall
    - FromCallErrorOut
    - FromCallYieldOut
    - FromConstructor
    - FromYield
    - FuncAnalysis
    - FuncBody
    - Info
    - JumpBreak
    - JumpError
    - JumpInfo
    - JumpNext
    - JumpReturn
    - Literal
    - Local
    - LocalRef
    - Loop
    - MetaType
      - AntiNominal
      - Inner
      - Intersection
      - Nominal
      - Unconstrained
      - Union
      - Unsatisfiable
    - NamedInfo
    - Param
    - Pass
    - PassEdge
    - Phi
    - RecoverUnsafe
    - Refinement
    - ReflectionOfType
    - ReifiedFunction
    - ReifiedType
    - ReifiedTypeAlias
    - Self
    - Sequence
    - Span
      - ErrorPropagate
      - Fallback
      - Inner
      - Terminal
    - StackAddressOfVariable
    - StaticAddressOfFunction
    - Tether
    - TowardCallParam
    - TowardCallYieldIn
    - TypeAliasAnalysis
    - TypeAliasVisitor
    - TypeAnalysis
    - TypeCondition
    - TypeConditionForLocal
    - TypeConditionStatic
    - TypeExprEvaluator
    - TypeParam
    - TypeParamCondition
    - TypeVisitor
    - Visitor
    - YieldIn
    - YieldOut
  - TSubtypingCache
    - ForReifiedFunc
    - ForReifiedType
    - MetaType
    - ReifiedFunction
    - ReifiedType
  - TTypeCheck
    - ForReifiedFunc
    - Info
    - MetaType
    - ReifiedFunction
    - ReifiedType
    - ReifiedTypeAlias
    - TypeParam
  - TypeCheck
    - Cap
    - ForReifiedFunc
    - Info
    - MetaType
    - ReifiedFunction
    - ReifiedType
    - ReifiedTypeAlias
    - TypeParam
  - TypeContext
    - Analysis
    - Layer
    - Pass
    - Visitor
  - Types
    - Edge
      - Analysis
      - Pass
      - Visitor
    - Graph
      - Analysis
      - Pass
      - Visitor
    - Type
    - TypeBottom
    - TypeNominal
    - TypeSimple
    - TypeTop
    - TypeUnion
    - TypeVariable
      - Scope
  - Verify
    - ErrorFinderVisitor
    - Pass
    - Visitor
  - XTypes
    - AlgebraicType
    - AlgebraicTypeFactor
    - AlgebraicTypeSimple
    - AlgebraicTypeSummand
    - Aliased
    - Analysis
    - Cap
      - Logic
      - Value
    - Cursor
    - Graph
      - Analysis
      - Pass
      - Visitor
    - Intersection
    - IntersectionBasic
    - JumpsAway
    - NominalCap
    - NominalType
    - NoUnique
    - OriginOfViewpoint
    - OverrideCap
    - Pass
    - Stabilized
    - TypeVariable
      - Scope
    - TypeVariableRef
    - Union
    - ViewableAs
    - Viewpoint
- Error
  - Info
- FFIGen
  - Options
- Init
  - Bin
  - Lib
- Packaging
- Parser
  - Builder
    - State
- Program
  - Declarator
    - Bootstrap
    - Interpreter
    - Scope
      - Layer
    - TermAcceptor
      - Enum
      - Keyword
      - Typed
  - Function
    - Link
  - Intrinsic
  - Package
    - Link
  - Type
    - Link
  - TypeAlias
    - Link
  - TypeWithValue
    - Link
- Server
- Source
  - Package
  - Pos
- SpecMarkdown
  - Example
  - Format
String
StructRef
Time

Generated using Crystal 1.14.0
2024-11-16 15:41:12 UTC

alias Savi::Compiler::TypeCheck::ReifiedType

Alias Definition

Savi::Compiler::Infer::ReifiedType

Defined in:

savi/compiler/type_check.cr