anchor.diff:                            | Some (Item.UnqualifiedType _) 
                             | None -> NoResultsOrUsefulErrors
                             | Some res -> OneSuccess (resInfo,FreshenUnqualifiedItem ncenv m res,rest)
  -
  -                  moduleSearch +++ tyconSearch +++ envSearch
  +                  
  +                  moduleSearch ad () +++ tyconSearch ad +++ envSearch
   
                 let resInfo,item,rest = 
                     match AtMostOneResult m search with 
                     | Result _ as res -> ForceRaise res
                     | _ ->
  -                      let innerSearch =
  -                          let moduleSearch = moduleSearch AccessibleFromSomeFSharpCode
  -              
  -                          match moduleSearch with
  -                          | Result res when not (isNil res) -> moduleSearch
  -                          | _ ->
  -
  -                          let tyconSearch = tyconSearch AccessibleFromSomeFSharpCode
  -
  -                          match tyconSearch with
  -                          | Result res when not (isNil res) -> tyconSearch
  -                          | _ ->
  -
  -                          search +++ moduleSearch +++ tyconSearch
  +                      let innerSearch = search +++ (moduleSearch AccessibleFromSomeFSharpCode) +++ (tyconSearch AccessibleFromSomeFSharpCode)
   
                         let suggestEverythingInScope() =
                             seq { yield! 
  
positive.code:                     OneSuccess (ResolutionInfo.Empty,item,rest)
                  | _ -> NoResultsOrUsefulErrors
          
          let search = dotFieldIdSearch 
          match AtMostOneResult m search with 
          | Result _ as res -> ForceRaise res
          | _ -> 
              let adhocDotSearchAll = ResolveLongIdentInTypePrim ncenv nenv LookupKind.Expr ResolutionInfo.Empty 1 m AccessibleFromSomeFSharpCode id rest findFlag typeNameResInfo typ 
              ForceRaise (AtMostOneResult m (search +++ adhocDotSearchAll))
      | _ -> 
          ForceRaise adhoctDotSearchAccessible
  
  
negative.code:                     |> CollectAtMostOneResult (fun (resInfo,typ) -> ResolveObjectConstructorPrim ncenv nenv.eDisplayEnv resInfo id.idRange ad typ) 
                      |> MapResults (fun (resInfo,item) -> (resInfo,item,[]))
  
  
          // Something in a sub-namespace or sub-module 
          let moduleSearch() = 
              match rest with
              | id2::rest2 ->
                  match mty.ModulesAndNamespacesByDemangledName.TryFind(id.idText) with
  