pub fn get_impl_target( block: &Loc<ImplBlock>, ctx: &mut Context, ) -> Result<(ImplTarget, Vec<TypeExpression>)>