# Type Alias rustc_trait_selection::traits::solve::Goal

source ·

    pub type Goal<'tcx, P> = Goal<TyCtxt<'tcx>, P>;

## Aliased Type§

    struct Goal<'tcx, P> {
        pub param_env: ParamEnv<'tcx>,
        pub predicate: P,
    }

## Fields§

§`param_env: ParamEnv<'tcx>`§`predicate: P`

## Layout§

Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.