Arbitrary self types v2: probe for more methods, take two

Arbitrary self types v2: probe for more methods, take two #132387