anchor.diff:                      failwith "impossible"
                   tracen ""
       | _ ->
  -        failwith "impossible"
  +        traceErrorfn "Unknown error for %O in %s" packageName Constants.LockFileName
positive.code:             | false, false ->
                  Result.Ok ((Transitive chains, group.Resolution), [])
              | false, true ->
                  failwith "impossible"
  
  let ohWhy (packageName, 
             directDeps : Set<PackageName>, 
  
negative.code:             | AutoDetectFramework 
              | ExplicitRestriction Paket.Requirements.FrameworkRestriction.HasNoRestriction -> ""
              | ExplicitRestriction fr -> sprintf " (%O)" fr
  
          let formatName (name: PackageName) i = 
              sprintf "%s-> %O - %O" 
                  (String.replicate i "  ") 
                  name.Name
                  (resolution.Item name).Version
  
          let rec format' i (name,chain) =
              let rest = 
                  match chain, showDetails with
  