@@ -1659,7 +1659,8 @@ getUnboundImplicits i t tm = getImps t (collectImps tm)
16591659 argInfo n (Imp opt _ _ _ _ _) Placeholder
16601660 = (True, PImp 0 True opt n Placeholder)
16611661 argInfo n (Imp opt _ _ _ _ _) t'
1662− = (False, PImp (getPriority i t') True opt n t')
1662+ = (InaccessibleArg `elem` opt,
1663+ PImp (getPriority i t') True opt n t')
16631664 argInfo n (Exp opt _ _ _) t'
16641665 = (InaccessibleArg `elem` opt,
16651666 PExp (getPriority i t') opt n t')