Perhaps I am missing something, but, as written here, wouldn't case 1 spuriously accept a reference in a method that requires a value parameter (since `R` was derefed in `METHOD-SEARCH`)?