// scopeDeclaredValue scopes a declared value (variable statement, variable member, type field). func (sb *scopeBuilder) scopeDeclaredValue(node compilergraph.GraphNode, title string, option requiresInitializerOption, exprPredicate compilergraph.Predicate, context scopeContext) proto.ScopeInfo { var exprScope *proto.ScopeInfo = nil exprNode, hasExpression := node.TryGetNode(exprPredicate) if hasExpression { // Scope the expression. exprScope = sb.getScope(exprNode, context) if !exprScope.GetIsValid() { return newScope().Invalid().GetScope() } } // Load the declared type, if any. declaredType, hasDeclaredType := sb.getDeclaredVariableType(node) if !hasDeclaredType { if exprScope == nil { panic("Somehow ended up with no declared type and no expr scope") } return newScope().Valid().AssignableResolvedTypeOf(exprScope).GetScope() } // Compare against the type of the expression. if hasExpression { exprType := exprScope.ResolvedTypeRef(sb.sg.tdg) if serr := exprType.CheckSubTypeOf(declaredType); serr != nil { sb.decorateWithError(node, "%s '%s' has declared type '%v': %v", title, node.Get(parser.NodeVariableStatementName), declaredType, serr) return newScope().Invalid().GetScope() } } else if option == requiresInitializer { // Make sure if the type is non-nullable that there is an expression. if !declaredType.IsNullable() { sb.decorateWithError(node, "%s '%s' must have explicit initializer as its type '%v' is non-nullable", title, node.Get(parser.NodeVariableStatementName), declaredType) return newScope().Invalid().Assignable(declaredType).GetScope() } } return newScope().Valid().Assignable(declaredType).GetScope() }