Inspect type reachability and mark as NonSharable