Function pointer_kind 

fn pointer_kind<'db>(
    expr: ExprId,
    ty: Ty<'db>,
    ctx: &mut InferenceContext<'db>,
) -> Result<Option<PointerKind<'db>>, ()>