anchor.diff:                      | _ -> return None
                   }
               return
  -                SemanticModel(
  +                BoundModel(
                       tcConfig,
                       tcGlobals,
                       tcImports,
  
positive.code:                 semanticClassification = [||] 
              }
          return 
              SemanticModel.Create(
                  tcConfig,
                  tcGlobals,
                  tcImports,
  
negative.code: 
  /// Represents the interim state of checking an assembly
  [<Sealed>]
  type PartialCheckResults private (boundModel: BoundModel, timeStamp: DateTime) = 
  
      let eval ctok (work: Eventually<'T>) =
          match work with
          | Eventually.Done res -> res
          | _ -> Eventually.force ctok work
  
      member _.TcImports = boundModel.TcImports
      member _.TcGlobals = boundModel.TcGlobals
      member _.TcConfig = boundModel.TcConfig
  
      member _.TimeStamp = timeStamp
  
      member _.TcInfo ctok = boundModel.TcInfo |> eval ctok
  
      member _.TcInfoWithOptional ctok = boundModel.TcInfoWithOptional |> eval ctok
  
      member _.TryGetItemKeyStore ctok =
          let _, info = boundModel.TcInfoWithOptional |> eval ctok
          info.itemKeyStore
  
      member _.GetSemanticClassification ctok =
          let _, info = boundModel.TcInfoWithOptional |> eval ctok
          info.semanticClassification
  
      static member Create (boundModel: BoundModel, timestamp) = 
          PartialCheckResults(boundModel, timestamp)
  
  [<AutoOpen>]
  module Utilities = 
  