AccessBase.isDistinct
The result of a store_borrow can "escape" to other access bases, like a "pointer" access base. Then a store-borrow access base is _not_ distinct from such another base.
verificationFailure
Function.mayBindDynamicSelf
SIL/Utils.swift
Type.aggregateIsOrContains