Trait Alias BaseState

trait BaseState<'tcx> = HasBase<'tcx>
    + Clone
    + IsState<'tcx>;