Made AsKernelArg provide output rather than be generic.

luisa_compute/src/runtime.rs

@@ -1379,45 +1379,46 @@ impl<T: KernelSignature> Kernel<T> {
     }
 }
 
-pub trait AsKernelArg<T: KernelArg>: KernelArg {}
-
-impl<T: Value> AsKernelArg<T> for T {}
-
-impl<T: Value> AsKernelArg<Buffer<T>> for Buffer<T> {}
-
-impl<'a, T: Value> AsKernelArg<Buffer<T>> for BufferView<'a, T> {}
-
-impl<'a, T: Value> AsKernelArg<BufferView<'a, T>> for BufferView<'a, T> {}
-
-impl<'a, T: Value> AsKernelArg<BufferView<'a, T>> for Buffer<T> {}
-
-// impl AsKernelArg<ByteBuffer> for ByteBuffer {}
-
-// impl<'a> AsKernelArg<ByteBuffer> for ByteBufferView<'a> {}
-
-// impl<'a> AsKernelArg<ByteBufferView<'a>> for ByteBufferView<'a> {}
-
-// impl<'a> AsKernelArg<ByteBufferView<'a>> for ByteBuffer {}
-
-impl<'a, T: IoTexel> AsKernelArg<Tex2d<T>> for Tex2dView<'a, T> {}
+// A trait signifying that this argument can be used in place of an argument of type `Self::T`.
+pub trait AsKernelArg: KernelArg {
+    type Output: KernelArg + 'static;
+}
 
-impl<'a, T: IoTexel> AsKernelArg<Tex3d<T>> for Tex3dView<'a, T> {}
+impl<T: Value> AsKernelArg for T {
+    type Output = T;
+}
 
-impl<'a, T: IoTexel> AsKernelArg<Tex3dView<'a, T>> for Tex2dView<'a, T> {}
+impl<T: Value> AsKernelArg for Buffer<T> {
+    type Output = T;
+}
 
-impl<'a, T: IoTexel> AsKernelArg<Tex3dView<'a, T>> for Tex3dView<'a, T> {}
+impl<'a, T: Value> AsKernelArg for BufferView<'a, T> {
+    type Output = Buffer<T>;
+}
 
-impl<'a, T: IoTexel> AsKernelArg<Tex3dView<'a, T>> for Tex2d<T> {}
+impl<'a, T: IoTexel> AsKernelArg for Tex2dView<'a, T> {
+    type Output = Tex2d<T>;
+}
 
-impl<'a, T: IoTexel> AsKernelArg<Tex3dView<'a, T>> for Tex3d<T> {}
+impl<'a, T: IoTexel> AsKernelArg for Tex3dView<'a, T> {
+    type Output = Tex3d<T>;
+}
 
-impl<T: IoTexel> AsKernelArg<Tex2d<T>> for Tex2d<T> {}
+impl<T: IoTexel> AsKernelArg for Tex2d<T> {
+    type Output = Tex2d<T>;
+}
 
-impl<T: IoTexel> AsKernelArg<Tex3d<T>> for Tex3d<T> {}
+impl<T: IoTexel> AsKernelArg for Tex3d<T> {
+    type Output = Tex3d<T>;
+}
 
-impl AsKernelArg<BindlessArray> for BindlessArray {}
+impl AsKernelArg for BindlessArray {
+    type Output = BindlessArray;
+}
 
-impl AsKernelArg<Accel> for Accel {}
+impl AsKernelArg for Accel {
+    type Output = Accel;
+}
 
 macro_rules! impl_call_for_callable {
     ( $($Ts:ident)*) => {
@@ -1467,7 +1468,7 @@ macro_rules! impl_dispatch_for_kernel {
         impl <$($Ts: KernelArg+'static),*> Kernel<fn($($Ts,)*)> {
             #[allow(non_snake_case)]
             #[allow(unused_mut)]
-            pub fn dispatch(&self, dispatch_size: [u32; 3], $($Ts:&impl AsKernelArg<$Ts>),*)  {
+            pub fn dispatch(&self, dispatch_size: [u32; 3], $($Ts:&impl AsKernelArg<Output = $Ts>),*)  {
                 let mut encoder = KernelArgEncoder::new();
                 $($Ts.encode(&mut encoder);)*
                 self.inner.dispatch(encoder, dispatch_size)
@@ -1476,7 +1477,7 @@ macro_rules! impl_dispatch_for_kernel {
             #[allow(unused_mut)]
             pub fn dispatch_async(
                 &self,
-                dispatch_size: [u32; 3], $($Ts:&impl AsKernelArg<$Ts>),*
+                dispatch_size: [u32; 3], $($Ts:&impl AsKernelArg<Output = $Ts>),*
             ) -> Command<'static, 'static> {
                 let mut encoder = KernelArgEncoder::new();
                 $($Ts.encode(&mut encoder);)*

luisa_compute_derive_impl/src/lib.rs

@@ -141,7 +141,8 @@ impl Compiler {
                     #(self.#field_names.encode(encoder);)*
                 }
             }
-            impl #impl_generics #runtime_path::AsKernelArg<#name #ty_generics> for #name #ty_generics #where_clause {
+            impl #impl_generics #runtime_path::AsKernelArg for #name #ty_generics #where_clause {
+                type Output = #name #ty_generics;
             }
         )
     }