A package solver.assumeAttachedPackages states as attached; a library() in the analyzed code still attaches it in full over this.
solver.assumeAttachedPackages
library()
requireNamespace("pkg"): pkg::fn resolves, bare fn does not
requireNamespace("pkg")
pkg::fn
fn
A package
solver.assumeAttachedPackagesstates as attached; alibrary()in the analyzed code still attaches it in full over this.